Some new intuitionistic equivalents of Zorn’s Lemma

Archive for Mathematical Logic 42 (8):811-814 (2003)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-003-0191-1

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Some intuitionistic equivalents of classical principles for degree 2 formulas.Stefano Berardi - 2006 - Annals of Pure and Applied Logic 139 (1):185-200.
Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics.Richard A. Shore - 2026 - Notre Dame Journal of Formal Logic 67 (1):49-68.
A Proof-Theoretic Note on the Independence of Intuitionistic Connectives.Ethan Brauer - forthcoming - Studia Logica:1-13.
Intuitionistic notions of boundedness in ℕ.Fred Richman - 2009 - Mathematical Logic Quarterly 55 (1):31-36.
Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5):621-693.
Classical provability of uniform versions and intuitionistic provability.Makoto Fujiwara & Ulrich Kohlenbach - 2015 - Mathematical Logic Quarterly 61 (3):132-150.
König's lemma, weak König's lemma, and the decidable fan theorem.Makoto Fujiwara - 2021 - Mathematical Logic Quarterly 67 (2):241-257.
An intuitionistic proof of Kruskal’s theorem.Wim Veldman - 2004 - Archive for Mathematical Logic 43 (2):215-264.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.

Analytics

Added to PP
2009-01-28

Downloads
152 (#278,621)

6 months
19 (#572,430)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of John L. Bell
John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.

Add more citations

References found in this work

Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.

Add more references