Intermediate logics and factors of the Medvedev lattice

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

Sebastiaan A. Terwijn, Andrea Sorbi

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 logicsMedvedev degreesfactor lattices

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Intermediate logics (03B55)

Related Items (9)

A Survey of Mučnik and Medvedev Degrees ⋮ Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism ⋮ Effectively closed mass problems and intuitionism ⋮ Intuitionistic logic and Muchnik degrees ⋮ The finite intervals of the Muchnik lattice ⋮ Natural factors of the Medvedev lattice capturing IPC ⋮ Topological aspects of the Medvedev lattice ⋮ Coding true arithmetic in the Medvedev and Muchnik degrees ⋮ Generalizations of the weak law of the excluded middle

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

This page was built for publication: Intermediate logics and factors of the Medvedev lattice