Choice Implies Excluded Middle

DOI10.1002/malq.19780242514zbMath0387.03017OpenAlexW1988237188MaRDI QIDQ4168917

Nicolas D. Goodman, John Myhill

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780242514

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25)

Related Items

Infinite populations, choice and determinacy ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Reflections on the Axiomatic Approach to Continuity ⋮ Ideals in constructive Banach algebra theory ⋮ Pre-apartness structures on spaces of functions ⋮ Semiprime ideals in general lattices ⋮ The basic Zariski topology ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ Radical theory of Scott-open filters ⋮ Some forms of excluded middle for linear orders ⋮ Bishop's Lemma ⋮ Nonstandard proof methods in toposes ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ Reflections on function spaces ⋮ The Arrow-Hahn Construction in a Locally Compact Metric Space ⋮ Unique existence, approximate solutions, and countable choice. ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ Extending constructive operational set theory by impredicative principles ⋮ Bibliography of John Myhill ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY ⋮ Excluded Middle versus Choice in a topos ⋮ The shrinking principle and the axiom of choice ⋮ An indeterminate universe of sets ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Morse set theory as a foundation for constructive mathematics ⋮ Functional interpretation of Aczel's constructive set theory ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Constructing extensions of ultraweakly continuous linear functionals ⋮ Formal Zariski topology: Positivity and points ⋮ Truth Definitions, Skolem Functions and Axiomatic Set Theory ⋮ Logical Foundations and Kant's Principles of Formal Logic ⋮ Constructive mathematics, Church's thesis, and free choice sequences