Minimum classical extensions of constructive theories

DOI10.1007/978-3-030-80049-9_33MaRDI QIDQ2117797zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Bar induction and restricted classical logic
• Classical and constructive hierarchies in extended intuitionistic analysis
• Delimited control operators prove double-negation shift
• Interrelation between weak fragments of double negation shift and related principles
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Note on the fan theorem
• On a weakening of Markov's Principle
• On the computational content of the axiom of choice
• Some axioms for constructive analysis
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Cited in

(2)

• Minimal from classical proofs
• scientific article; zbMATH DE number 5316400 (Why is no real title available?)

This page was built for publication: Minimum classical extensions of constructive theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117797)