Pages that link to "Item:Q5803373"
From MaRDI portal
The following pages link to Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet (Q5803373):
Displayed 15 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Sharvy's Lucy and Benjamin puzzle (Q1005962) (← links)
- A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures (Q2050189) (← links)
- A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
- Über das Auswahlaxiom (Q2651251) (← 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)
- Transfinite Constructions in Classical Type Theory (Q2945651) (← links)
- THOUGHTS ON THE CANTOR-BERNSTEIN THEOREM (Q3741774) (← links)
- (Q4311227) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- Sur la relation d'inclusion et l'axiome de choix de Zermelo (Q5814008) (← links)
- Über den Satz von Zorn (Q5822140) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)