Cover Image

A Simple and Elementary Proof of Zorn's Lemma

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nuida, Koji
Format:	Preprint
Published:	2023
Subjects:	Logic Combinatorics 06A06, 03E25, 97E60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Finitely additive measures on Boolean algebras
by: Cardona, Miguel A., et al.
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Piecewise convex embeddability on linear orders
by: Iannella, Martina, et al.
Published: (2023)

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

Infinite-Exponent Partition Relations on the Real Line
by: Gardiner, Lyra A.
Published: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

On maximal ladders
by: Notaro, Lorenzo
Published: (2026)

Ladders and Squares
by: Notaro, Lorenzo
Published: (2025)

Copies of Monomorphic Structures
by: Kurilić, Miloš S.
Published: (2023)

Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)

Some questions on entangled linear orders
by: Carroy, Raphaël, et al.
Published: (2025)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

The measure algebra adding $θ$-many random reals is $θ$-FAM-linked
by: Mejía, Diego A., et al.
Published: (2023)

The intersection number for forcing notions
by: Uribe-Zapata, Andrés F.
Published: (2024)

Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

Algebraic structures arising from the finite condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

Intersection Games and Bernstein Sets
by: Atchley, James, et al.
Published: (2023)