Sur le théorème de Zorn
From MaRDI portal
Publication:2649887
DOI10.1007/BF02036949zbMath0045.32902OpenAlexW146052369WikidataQ55954165 ScholiaQ55954165MaRDI QIDQ2649887
Publication date: 1951
Published in: Archiv der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02036949
Related Items
On a generalized iteration method with applications to fixed point theorems and elliptic systems involving discontinuities ⋮ Another proof of the Browder–Göhde–Kirk theorem via ordering argument ⋮ Doppelte Hülleninduktion und ein Satz von Hessenberg ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Contraction Maps in Pseudometric Structures ⋮ On fixed points through a generalized iteration method with applications to differential and integral equations involving discontinuities ⋮ On generalized methods of successive approximations ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory ⋮ On the failure of fixed-point theorems for chain-complete lattices in the effective topos ⋮ A note on the Knaster-Tarski fixpoint theorem ⋮ Solving mean-payoff games via quasi dominions ⋮ Fixed points and completeness in metric and generalized metric spaces ⋮ Fixed point theorems and semantics: A folk tale ⋮ Mean value theorems via maximal element techniques ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The fixed point and the common fixed point properties in finite pseudo-ordered sets ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Bigeneration in complete lattices and principal separation in ordered sets ⋮ Function Variational Principles and Normed Minimizers ⋮ Functional variational principles and coercivity over normed spaces ⋮ Ekeland variational principles in 2-local branciari metric spaces ⋮ Homotopic metric-interval L-contractions in gauge spaces ⋮ The Mathematical Import of Zermelo's Well-Ordering Theorem ⋮ The Axiom of Choice for Finite Sets ⋮ Solving Mean-Payoff Games via Quasi Dominions ⋮ Reverse mathematics and order theoretic fixed point theorems ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Coerciveness property for conical nonsmooth functionals ⋮ Function variational principles and coercivity ⋮ Transfinite sequences in the programmed iteration method ⋮ The origin of Zorn's lemma ⋮ On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos ⋮ Drop theorems and lipschitzianness tests via maximality procedures ⋮ Sharvy's Lucy and Benjamin puzzle ⋮ A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures ⋮ Die Existenz wohlgeordneter, konfinaler Teilmengen in Ketten und das Auswahlaxiom ⋮ Über die Konstruktion wohlgeordneter Mengen ⋮ A short proof of Zorn's lemma ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ On the Bourbaki–Witt principle in toposes ⋮ On a theorem of Bourbaki ⋮ Stability criteria for contractive semigroups via maximality procedures ⋮ Function-differential inequalities via maximality procedures ⋮ Differential Lipschitzianness tests on abstract quasi-metric spaces ⋮ A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory ⋮ Posets isomorphic to their extensions ⋮ Tensor products for bounded posets revisited ⋮ Prime elements from prime ideals
