✦ LIBER ✦

Intermediate logics and factors of the Medvedev lattice

✍ Scribed by Andrea Sorbi; Sebastiaan A. Terwijn

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 468 KB
Volume: 155
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.03.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Quotient Lattices of the Medvedev L

Some Quotient Lattices of the Medvedev Lattice

✍ Andrea Sorbi 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 853 KB

Density of the Medvedev lattice of

✍ Douglas Cenzer; Peter G. Hinman 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 226 KB

Topological aspects of the Medvedev latt

Topological aspects of the Medvedev lattice

✍ Andrew E. M. Lewis; Richard A. Shore; Andrea Sorbi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 266 KB

Embeddings into the Medvedev and Muchnik

Embeddings into the Medvedev and Muchnik lattices of

✍ Stephen Binns; Stephen G. Simpson 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 167 KB

The Medvedev lattice of computably close

The Medvedev lattice of computably closed sets

✍ Sebastiaan A. Terwijn 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 178 KB

A splitting theorem for the Medvedev and

A splitting theorem for the Medvedev and Muchnik lattices

✍ Stephen Binns 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 174 KB

## Abstract This is a contribution to the study of the Muchnik and Medvedev lattices of non‐empty Π^0^~1~ subsets of 2^__ω__^. In both these lattices, any non‐minimum element can be split, i. e. it is the non‐trivial join of two other elements. In fact, in the Medvedev case, if__P__ > ~M~ __Q__, th