Skip to main content
SpringerLink
Log in

Some new intuitionistic equivalents of Zorn’s Lemma

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

Two new intuitionistic equivalents to Zarn’s Lemma are stated and proved.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40, 2000/2001, Institut Mittag-Leffler, Royal Swedish Academy of Sciences

    Google Scholar 

  2. Aczel, P.: Zorn’s Lemma in CZF. Preprint, Aug. 17, 2002

    Google Scholar 

  3. Beeson, M.J.: Foundations of Constructive Mathematics. Springer-Verlag, 1980

  4. Bell, J.L.: Zorn’s lemma and complete boolean algebras in intuitionistic type theories. J. Symbolic Logic 62(4), 1265–1279 (1997)

    MATH  Google Scholar 

  5. Bell, J.L.: Boolean algebras and distributive lattices treated constructively. Math. Logic Quarterly 45, 135–143 (1999)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Western Ontario, Talbot College, London, Ontario, Canada, N6A 3K7

    John L. Bell

Authors
  1. John L. Bell
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John L. Bell.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bell, J. Some new intuitionistic equivalents of Zorn’s Lemma. Arch. Math. Logic 42, 811–814 (2003). https://doi.org/10.1007/s00153-003-0191-1

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-003-0191-1

Search

Navigation