Minimum classical extensions of constructive theories

DOI10.1007/978-3-030-80049-9_33OpenAlexW3183800913MaRDI QIDQ2117797FDOQ2117797

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

• Title not available (Why is that?)
• On the computational content of the axiom of choice
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Title not available (Why is that?)
• Some axioms for constructive analysis
• Title not available (Why is that?)
• Note on the fan theorem
• Delimited control operators prove double-negation shift
• Classical and constructive hierarchies in extended intuitionistic analysis
• On a weakening of Markov's Principle
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Bar induction and restricted classical logic
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES

Cited In (2)

• Minimal from classical proofs
• Title not available (Why is that?)

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)