Classical and constructive hierarchies in extended intuitionistic analysis

DOI10.2178/jsl/1058448452zbMath1059.03072OpenAlexW2057128962MaRDI QIDQ4650268

Joan Rand Moschovakis

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448452

zbMATH Keywords

consistencyhierarchiesintuitionistic analysisdomain of continuity

Mathematics Subject Classification ID

Descriptive set theory (03E15) Intuitionistic mathematics (03F55) Hierarchies of computability and definability (03D55)

Related Items

Intuitionism and effective descriptive set theory ⋮ Projective sets, intuitionistically ⋮ The double negation of the intermediate value theorem ⋮ Unavoidable sequences in constructive analysis ⋮ Two simple sets that are not positively Borel ⋮ Solovay's relative consistency proof for FIM and BI ⋮ Minimum classical extensions of constructive theories

Cites Work

• Descriptive set theory
• Constructivism in mathematics. An introduction. Volume II
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Axiom of Choice and Complementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item