Intermediate logics and factors of the Medvedev lattice

DOI10.1016/j.apal.2008.03.002zbMath1156.03026arXivmath/0606494MaRDI QIDQ952483

Andrea Sorbi, Sebastiaan A. Terwijn

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0606494

zbMATH Keywords

intermediate logics; Medvedev degrees; factor lattices

Mathematics Subject Classification ID

03D30: Other degrees and reducibilities in computability and recursion theory

03B55: Intermediate logics

Related Items

The finite intervals of the Muchnik lattice, Effectively closed mass problems and intuitionism, Intuitionistic logic and Muchnik degrees, Topological aspects of the Medvedev lattice, A Survey of Mučnik and Medvedev Degrees, Coding true arithmetic in the Medvedev and Muchnik degrees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical recursion theory. The theory of functions and sets of natural numbers
• Metamathematics of fuzzy logic
• Embedding Brouwer algebra in the Medvedev lattice
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Explicit Provability and Constructive Semantics
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Mass Problems and Randomness
• Some Quotient Lattices of the Medvedev Lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• On the structure of the Medvedev lattice
• ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
• A splitting theorem for the Medvedev and Muchnik lattices
• Some theorems about the sentential calculi of Lewis and Heyting