Excluded Middle versus Choice in a topos

DOI10.1002/MALQ.200410029MaRDI QIDQ4680375zbMATH OpenOpenAlexFDO

Authors Bernhard Banaschewski

Publication date 1 June 2005

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

Law of the Excluded Middlelimited choice principlePropositional logic of a topossplitting epimorphism

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiom of choice and related propositions (03E25)

Recommendations

• scientific article; zbMATH DE number 2113459
• The axiom of choice and the law of excluded middle in weak set theories
• Restricted internal choice in a topos
• scientific article; zbMATH DE number 6611831
• scientific article; zbMATH DE number 4124576
• Well-ordering and choice in toposes
• TWO TOPOLOGICAL EQUIVALENTS OF THE AXIOM OF CHOICE
• On the weak forms of choice in topoi
• Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
• Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception

Cites work

• Choice Implies Excluded Middle

Cited in

(8)

• Complements in distributive allegories
• The shrinking principle and the axiom of choice
• Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result
• EM + Ext₋ + AC_int is equivalent to AC_ext
• Restricted internal choice in a topos
• The Continuum Hypothesis Implies Excluded Middle
• CHARACTERIZING THE 'PRINCIPLES' OF NON CONTRADICTION AND EXCLUDED MIDDLE IN [0,1]
• The definitions of middle object and weak topos

This page was built for publication: Excluded Middle versus Choice in a topos

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