Excluded Middle versus Choice in a topos

DOI10.1002/malq.200410029zbMath1062.03047OpenAlexW2015311986MaRDI QIDQ4680375

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

splitting epimorphismLaw of the Excluded Middlelimited choice principlePropositional logic of a topos

Mathematics Subject Classification ID

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

Related Items

The shrinking principle and the axiom of choice

Cites Work

• Choice Implies Excluded Middle