Choice Implies Excluded Middle

DOI10.1002/MALQ.19780242514MaRDI QIDQ4168917zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(37)

• A minimalist two-level foundation for constructive mathematics
• Semiprime ideals in general lattices
• Bibliography of John Myhill
• Constructive mathematics: a foundation for computable analysis
• Unique existence, approximate solutions, and countable choice.
• Functional interpretation of Aczel's constructive set theory
• Infinite populations, choice and determinacy
• Constructing extensions of ultraweakly continuous linear functionals
• An indeterminate universe of sets
• Morse set theory as a foundation for constructive mathematics
• Constructive mathematics, Church's thesis, and free choice sequences
• Formal Zariski topology: Positivity and points
• Radical theory of Scott-open filters
• Extending constructive operational set theory by impredicative principles
• 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
• On adopting Kripke semantics in set theory
• Truth Definitions, Skolem Functions and Axiomatic Set Theory
• Excluded Middle versus Choice in a topos
• Reflections on the Axiomatic Approach to Continuity
• Some forms of excluded middle for linear orders
• Bishop's lemma
• The Arrow-Hahn construction in a locally compact metric space
• Logical Foundations and Kant's Principles of Formal Logic
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• A New Foundational Crisis in Mathematics, Is It Really Happening?
• 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
• Hammering higher order set theory
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• Predicative classes and strict potentialism
• Ideals in constructive Banach algebra theory
• Pre-apartness structures on spaces of functions
• The basic Zariski topology
• The shrinking principle and the axiom of choice

This page was built for publication: Choice Implies Excluded Middle

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