THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
type: Item
instance of: scholarly article
title: THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
author: Charles McCarty
author: Stewart Shapiro
author: Ansten Mørch Klev
published in: The Bulletin of Symbolic Logic
publication date: 2023-03-20T00:00:00Z
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03B16
zbMATH DE Number: 7665538
zbMATH Keywords: choice principles
zbMATH Keywords: intuitionism
zbMATH Keywords: constructivism
zbMATH Keywords: extensionality
Wikidata QID: Q114012471
MaRDI profile type: Publication
full work available at URL: bsl.2022.22
OpenAlex ID: W4281633833
cites work: Q3937387
cites work: Q3310616
cites work: Q3762311
cites work: Q3866108
cites work: Extensionality and choice in constructive mathematics
cites work: Q3586990
cites work: Q5573965
cites work: Injectivity, Projectivity, and the Axiom of Choice
cites work: Techniques of constructive analysis
cites work: Q3005437
cites work: EM + Ext− + ACint is equivalent to ACext
cites work: Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
cites work: Axiom of Choice and Complementation
cites work: Q4133603
cites work: SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
cites work: Q3863865
cites work: Set theoretic foundations for constructive analysis
cites work: Choice Implies Excluded Middle
cites work: Intuitionism. An introduction
cites work: Q3922646
cites work: On the interpretation of intuitionistic number theory
cites work: Formal systems for some branches of intuitionistic analysis
cites work: Q5676377
cites work: Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
cites work: Q5718565
cites work: Q4099613
cites work: Q3688389
cites work: Constructive set theory
cites work: Two forms of the axiom of choice for an elementary topos
cites work: Q5559220
cites work: Q5494237
cites work: Q4552747
cites work: Constructions, proofs and the meaning of logical constants
cites work: Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†
cites work: Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4126323
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q4531082
DOI: 10.1017/BSL.2022.22
description: scientific article; zbMATH DE number 7665538