Mass problems and intuitionism

DOI10.1215/00294527-2008-002MaRDI QIDQ929629zbMATH OpenOpenAlexFDO

Authors Stephen G. Simpson

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

zbMATH Keywords

Brouwerian latticedegrees of unsolvabilityHeyting algebraintuitionismMuchnik degrees

Mathematics Subject Classification ID

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

Recommendations

• Effectively closed mass problems and intuitionism
• Mass problems and intuitionistic higher-order logic
• MASS PROBLEMS AND HYPERARITHMETICITY
• First- and second-order logic of mass terms
• Intuitionistic mathematics and realizability in the physical world
• The notion of problem, intuitionism and partiality
• On gauge theories of mass
• Mass problems and measure-theoretic regularity
• scientific article; zbMATH DE number 4188848
• Theory and Applications of Models of Computation

Cited in

(13)

• Mass problems and intuitionistic higher-order logic
• A survey of Mučnik and Medvedev degrees
• Mass problems and density
• Degrees of unsolvability: a tutorial
• MASS PROBLEMS AND HYPERARITHMETICITY
• Mass problems and measure-theoretic regularity
• 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
• Theory and Applications of Models of Computation
• Kolmogorov's Calculus of Problems and its Legacy
• Mass problems associated with effectively closed sets

This page was built for publication: Mass problems and intuitionism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q929629)