The following pages link to On Tarski’s fixed point theorem (Q2944797):
Displaying 7 items.
- Constructive strong regularity and the extension property of a compactification (Q2084952) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- A companion preorder to \(G\)-majorization and a Tarski type fixed-point theorem Section: convex analysis (Q6158252) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
