The following pages link to Sur le théorème de Zorn (Q2649887):
Displaying 11 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)
- Über die Konstruktion wohlgeordneter Mengen (Q5819563) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
