Excluded Middle versus Choice in a topos
From MaRDI portal
Publication:4680375
DOI10.1002/malq.200410029zbMath1062.03047OpenAlexW2015311986MaRDI QIDQ4680375
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
splitting epimorphismLaw of the Excluded Middlelimited choice principlePropositional logic of a topos
Related Items
Cites Work