Some new intuitionistic equivalents of Zorn's Lemma

DOI10.1007/S00153-003-0191-1zbMath1045.03047OpenAlexW2052407354WikidataQ125023772 ScholiaQ125023772MaRDI QIDQ1423638

No author found.

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) Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25)

Related Items (3)

The Jacobson radical for an inconsistency predicate ⋮ Radical theory of Scott-open filters ⋮ The computational significance of Hausdorff's maximal chain principle

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