Solovay's relative consistency proof for FIM and BI

DOI10.1215/00294527-2021-0034OpenAlexW4200240352MaRDI QIDQ2075283

Joan Rand Moschovakis

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.05878

zbMATH Keywords

intuitionistic analysisbar inductionarithmetical comprehensionrelative consistencySolovay

Mathematics Subject Classification ID

History of mathematics in the 21st century (01A61) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Some axioms for constructive analysis
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Classical and constructive hierarchies in extended intuitionistic analysis
• MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
• Formalized recursive functionals and formalized realizability

This page was built for publication: Solovay's relative consistency proof for FIM and BI