Knaster–Tarski theorem, formulated over pointed dcpo's, is given to prove as exercise 4.3-5 on page 90. Bourbaki, Nicolas (1949), "Sur le théorème de...
12 KB (1,462 words) - 22:10, 1 September 2024
Théorie des Ensembles of 1939 refers to a similar maximal principle as "le théorème de Zorn". The name "Kuratowski–Zorn lemma" prevails in Poland and Russia...
31 KB (4,700 words) - 12:19, 5 October 2024
JSTOR 1968352, MR 1502760 Sierpiński, Wacław (1932), "Généralisation d'un théorème de Cantor concernant les ensembles ordonnés dénombrables", Fundamenta Mathematicae...
25 KB (3,028 words) - 20:53, 28 July 2024