Zorn's lemma, also known as the Kuratowski–Zorn lemma, is a proposition of set theory. It states that a partially ordered set containing upper bounds...
26 KB (3,678 words) - 08:20, 10 February 2024
titled Zorns Lemma after Zorn's lemma (also known as the Kuratowski–Zorn lemma), a proposition of set theory formulated by mathematician Max Zorn in 1935...
15 KB (1,672 words) - 00:18, 13 August 2024
sets amongst others. Zorn's lemma was first postulated by Kazimierz Kuratowski in 1922, and then independently by Zorn in 1935. Zorn was born in Krefeld...
8 KB (749 words) - 07:07, 20 August 2024
lemma Sperner's lemma Urysohn's lemma Vitali covering lemma Yoneda's lemma Zorn's lemma While these results originally seemed too simple or too technical...
4 KB (405 words) - 04:00, 24 August 2024
theory, the Teichmüller–Tukey lemma is equivalent to the axiom of choice, and therefore to the well-ordering theorem, Zorn's lemma, and the Hausdorff maximal...
2 KB (292 words) - 05:50, 27 August 2022
example of the use of chain for referring to totally ordered subsets is Zorn's lemma which asserts that, if every chain in a partially ordered set X has an...
21 KB (3,094 words) - 17:19, 9 April 2024
sets with finite complements), can be proven using from Zorn's lemma. The ultrafilter lemma is equivalent to the Boolean prime ideal theorem, with the...
15 KB (2,257 words) - 03:04, 29 November 2023
Reverse mathematics (redirect from Weak König's lemma)
set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however...
37 KB (4,665 words) - 19:08, 5 June 2024
field. (This order need not be uniquely determined.) The proof uses Zorn's lemma. Finite fields and more generally fields of positive characteristic cannot...
14 KB (2,208 words) - 10:00, 10 June 2024
of the most common is in the proof that the axiom of choice implies Zorn's lemma. We first prove it for the case where X is chain complete and has no...
4 KB (545 words) - 20:52, 23 August 2024