Minimum classical extensions of constructive theories
From MaRDI portal
Publication:2117797
DOI10.1007/978-3-030-80049-9_33OpenAlexW3183800913MaRDI QIDQ2117797
Joan Rand Moschovakis, Garyfallia Vafeiadou
Publication date: 22 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_33
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Delimited control operators prove double-negation shift
- 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
- Bar induction and restricted classical logic
- On a weakening of Markov's Principle
- Note on the fan theorem
- On the computational content of the axiom of choice
- Classical and constructive hierarchies in extended intuitionistic analysis
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- A continuity principle, a version of Baire's theorem and a boundedness principle
This page was built for publication: Minimum classical extensions of constructive theories