Pages that link to "Item:Q3094183"
From MaRDI portal
The following pages link to AN AXIOMATIC THEORY OF WELL-ORDERINGS (Q3094183):
Displaying 5 items.
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- An intuitionistic version of Zermelo's proof that every choice set can be well-ordered (Q2758049) (← links)
- The Mathematical Import of Zermelo's Well-Ordering Theorem (Q4372921) (← links)
- The axiom of choice for well-ordered families and for families of well-orderable sets (Q4876313) (← links)
- An addition to "On defining well-orderings" (Q5596754) (← links)