Some new intuitionistic equivalents of Zorn's Lemma

DOI10.1007/S00153-003-0191-1zbMATH Open1045.03047OpenAlexW2052407354WikidataQ125023772 ScholiaQ125023772MaRDI QIDQ1423638FDOQ1423638

John L. Bell

Publication date: 7 March 2004

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

Full work available at URL: https://doi.org/10.1007/s00153-003-0191-1

zbMATH Keywords

intuitionistic ZFZorn's Lemma

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Intuitionistic mathematics (03F55)

Cited In (4)

• The computational significance of Hausdorff's maximal chain principle
• Title not available (Why is that?)
• The Jacobson radical for an inconsistency predicate
• Radical theory of Scott-open filters

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Une nouvelle démonstration du théorème de Zariski-Lefschetz 👍 👎
• New intuitionistic logical constants and Novikov completeness 👍 👎
• Some elementary results in intuitionistic model theory 👍 👎
• A New Proof that “Krull implies Zorn” 👍 👎
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories 👍 👎
• A specialization of Zorn's lemma 👍 👎
• A new approach to intuitionistic compactness 👍 👎
• NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES 👍 👎

This page was built for publication: Some new intuitionistic equivalents of Zorn's Lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1423638)