Choice Implies Excluded Middle

Cited In (34)

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

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)