The Kripke schema in metric topology
From MaRDI portal
Publication:3144876
DOI10.1002/malq.201200018zbMath1259.03081OpenAlexW1968330952MaRDI QIDQ3144876
Fred Richman, Robert S. Lubarsky, Peter M. Schuster
Publication date: 10 December 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201200018
Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs
Cites Work
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Intuitionism As Generalization
- How connected is the intuitionistic continuum?
- Points and Spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item