The following pages link to (Q3474646):
Displaying 5 items.
- Slim models of Zermelo set theory (Q2747699) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- Bases of ZF0-models (Q3328539) (← links)
- A theory of sets with the negation of the axiom of infinity (Q4304117) (← links)
- A choice function on countable sets, from determinacy (Q5179344) (← links)