Intuitionistic choice and classical logic

DOI10.1007/S001530050003MaRDI QIDQ1976877zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Erik Palmgren

Publication date 5 November 2000

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050003

zbMATH Keywords

Boolean sheavesconstructive meaningintuitionistic choice

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• To be or not to be constructive, that is not the question
• Reverse mathematics and uniformity in proofs without excluded middle
• Choice Principles and Constructive Logics†
• scientific article; zbMATH DE number 1795226

Cited in

(16)

• Statistics of intuitionistic versus classical logics
• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Wellfounded trees in categories
• scientific article; zbMATH DE number 2051381 (Why is no real title available?)
• Determinate logic and the axiom of choice
• Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result
• Classical mathematics for a constructive world
• To be or not to be constructive, that is not the question
• Choice Principles and Constructive Logics†
• Intuitionistic Decision Procedures Since Gentzen
• Arithmetical conservation results
• scientific article; zbMATH DE number 6607423 (Why is no real title available?)
• A Constructive Proof of Dependent Choice, Compatible with Classical Logic
• Heyting-valued interpretations for constructive set theory

This page was built for publication: Intuitionistic choice and classical logic

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