EM + Ext− + ACint is equivalent to ACext

DOI10.1002/malq.200410100zbMath1044.03036OpenAlexW2100414237MaRDI QIDQ4736750

Jesper Carlström

Publication date: 6 August 2004

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

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

zbMATH Keywords

extensionalityExcluded Middleextensional Axiom of Choiceintensional Axiom of Choice

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25)

Related Items (3)

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ 2006 Annual Meeting of the Association for Symbolic Logic ⋮ A minimalist two-level foundation for constructive mathematics

This page was built for publication: EM + Ext₋ + AC_int is equivalent to AC_ext