The axiom of choice and the law of excluded middle in weak set theories

DOI10.1002/MALQ.200710030zbMath1155.03037OpenAlexW2082808755WikidataQ114018699 ScholiaQ114018699MaRDI QIDQ5387332

No author found.

Publication date: 8 May 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

axiom of choicelaw of excluded middleweak set theoryaxiom of extensionality

Mathematics Subject Classification ID

Large cardinals (03E55) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)

Related Items (1)

On the Constructive and Computational Content of Abstract Mathematics

Cites Work

• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?

This page was built for publication: The axiom of choice and the law of excluded middle in weak set theories