Natural factors of the Muchnik lattice capturing IPC

DOI10.1016/j.apal.2013.06.001zbMath1323.03056arXiv1210.6538OpenAlexW2089198308MaRDI QIDQ385809

Rutger Kuyper

Publication date: 11 December 2013

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

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

zbMATH Keywords

Kripke modelsintuitionistic logicMuchnik degrees

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Other degrees and reducibilities in computability and recursion theory (03D30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Natural factors of the Medvedev lattice capturing IPC ⋮ Mass problems and intuitionistic higher-order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic logic and Muchnik degrees
• The Medvedev lattice of computably closed sets
• Realizability. An introduction to its categorical side
• Classical recursion theory. Vol. II
• On closed elements in closure algebras
• Computational randomness and lowness
• A Survey of Mučnik and Medvedev Degrees
• Degrees joining to 0′
• The degrees below a 1-generic degree < 0′
• Lowness for the Class of Schnorr Random Reals
• The Degrees of Hyperimmune Sets
• Some theorems about the sentential calculi of Lewis and Heyting
• On the interpretation of intuitionistic number theory