Effectively closed mass problems and intuitionism

DOI10.1016/j.apal.2011.11.003zbMath1241.03052OpenAlexW2010454090MaRDI QIDQ408163

Kojiro Higuchi

Publication date: 29 March 2012

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

Full work available at URL: https://doi.org/10.1016/j.apal.2011.11.003

zbMATH Keywords

Heyting algebrasintuitionism\(\Pi^0_1\) classesBrouwer algebraseffective closed setsmass problems

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Intuitionistic mathematics (03F55)

Related Items

Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes ⋮ Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions

Cites Work

• The Medvedev lattice of computably closed sets
• Mass problems and intuitionism
• Intermediate logics and factors of the Medvedev lattice
• Zur Deutung der intuitionistischen Logik
• Mass Problems and Randomness
• Some Quotient Lattices of the Medvedev Lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• An extension of the recursively enumerable Turing degrees
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item