Mass problems and intuitionism
From MaRDI portal
Publication:929629
DOI10.1215/00294527-2008-002zbMath1141.03018OpenAlexW2110231945MaRDI QIDQ929629
Publication date: 18 June 2008
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2008-002
Other degrees and reducibilities in computability and recursion theory (03D30) Intuitionistic mathematics (03F55)
Related Items
A Survey of Mučnik and Medvedev Degrees ⋮ Degrees of Unsolvability: A Tutorial ⋮ Basic subtoposes of the effective topos ⋮ Effectively closed mass problems and intuitionism ⋮ FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS ⋮ Topological aspects of the Medvedev lattice ⋮ Mass problems and intuitionistic higher-order logic ⋮ Mass problems associated with effectively closed sets ⋮ Mass Problems and Measure-Theoretic Regularity