Classical consequences of continuous choice principles from intuitionistic analysis
From MaRDI portal
Publication:2443117
DOI10.1215/00294527-2377860zbMath1331.03013arXiv1207.6434MaRDI QIDQ2443117
Publication date: 4 April 2014
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.6434
uniformity; realizability; reverse mathematics; intuitionistic analysis; sequential; second-order arithmetic; choice principles; Lifschitz
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03B20: Subsystems of classical logic (including intuitionistic logic)
03F55: Intuitionistic mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reverse mathematics and uniformity in proofs without excluded middle
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Reverse mathematics, trichotomy, and dichotomy
- Lifschitz' realizability
- Representations of Reals in Reverse Mathematics
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics