A classical view of the intuitionistic continuum

DOI10.1016/0168-0072(95)00050-XzbMath0863.03030MaRDI QIDQ1923572

Joan Rand Moschovakis

Publication date: 3 June 1997

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

zbMATH Keywords

classical analysis; classical continuum; intuitionistic continuum; choice sequence; FIM; classical consistency proof; formal system for second-order arithmetic; foundations of intuitionistic mathematics; lawlessness

Mathematics Subject Classification ID

03F35: Second- and higher-order arithmetic and fragments

03F50: Metamathematics of constructive systems

03F55: Intuitionistic mathematics

Related Items

Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness, Analyzing realizability by Troelstra's methods

Cites Work

• Intuitionism. An introduction
• Constructivism in mathematics. An introduction. Volume II
• Relative lawlessness in intuitionistic analysis
• More about relatively lawless sequences
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Recursive Functions and Intuitionistic Number Theory
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item