THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
From MaRDI portal
Publication:5884255
DOI10.1017/bsl.2022.22OpenAlexW4281633833WikidataQ114012471 ScholiaQ114012471MaRDI QIDQ5884255
Charles McCarty, Ansten Mørch Klev, Stewart Shapiro
Publication date: 20 March 2023
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2022.22
Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25) Higher-order logic (03B16)
Cites Work
- Intuitionism. An introduction
- Constructions, proofs and the meaning of logical constants
- Techniques of constructive analysis
- Extensionality and choice in constructive mathematics
- Constructivism in mathematics. An introduction. Volume II
- Set theoretic foundations for constructive analysis
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Injectivity, Projectivity, and the Axiom of Choice
- Two forms of the axiom of choice for an elementary topos
- Constructive set theory
- Axiom of Choice and Complementation
- Choice Implies Excluded Middle
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- EM + Ext− + ACint is equivalent to ACext
- SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
- Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
- Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†
- Formal systems for some branches of intuitionistic analysis
- On the interpretation of intuitionistic number theory
- Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
