The following pages link to Sur le théorème de Zorn (Q2649887):
Displaying 37 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Transfinite sequences in the programmed iteration method (Q721523) (← links)
- A short proof of Zorn's lemma (Q769269) (← links)
- Tensor products for bounded posets revisited (Q804607) (← links)
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
- Coerciveness property for conical nonsmooth functionals (Q970576) (← links)
- Sharvy's Lucy and Benjamin puzzle (Q1005962) (← links)
- Differential Lipschitzianness tests on abstract quasi-metric spaces (Q1054024) (← links)
- Posets isomorphic to their extensions (Q1064328) (← links)
- Prime elements from prime ideals (Q1065041) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- Mean value theorems via maximal element techniques (Q1166634) (← links)
- Bigeneration in complete lattices and principal separation in ordered sets (Q1182066) (← links)
- The origin of ''Zorn's lemma'' (Q1246517) (← links)
- The strength of prime separation, sobriety, and compactness theorems (Q1646557) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- Function variational principles and coercivity (Q1772299) (← links)
- On a theorem of Bourbaki (Q1837708) (← links)
- Ekeland variational principles in 2-local branciari metric spaces (Q1982235) (← links)
- Homotopic metric-interval L-contractions in gauge spaces (Q1982271) (← links)
- A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures (Q2050189) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
- Fixed points and completeness in metric and generalized metric spaces (Q2203277) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Die Existenz wohlgeordneter, konfinaler Teilmengen in Ketten und das Auswahlaxiom (Q2535007) (← links)
- Doppelte Hülleninduktion und ein Satz von Hessenberg (Q2625147) (← links)
- On generalized methods of successive approximations (Q2653968) (← links)
- On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156) (← links)
- On the Bourbaki–Witt principle in toposes (Q2841501) (← links)
- The fixed point and the common fixed point properties in finite pseudo-ordered sets (Q3295187) (← links)
- Function Variational Principles and Normed Minimizers (Q3300529) (← links)
- Über die Konstruktion wohlgeordneter Mengen (Q5819563) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
