Excluded Middle versus Choice in a topos
From MaRDI portal
Publication:4680375
DOI10.1002/malq.200410029zbMath1062.03047MaRDI 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 epimorphism; Law of the Excluded Middle; limited choice principle; Propositional logic of a topos
Related Items
Cites Work