The following pages link to (Q4893153):
Displaying 9 items.
- Set-theoretic blockchains (Q2274142) (← links)
- Easton's theorem for Ramsey and strongly Ramsey cardinals (Q2346954) (← links)
- The downward directed grounds hypothesis and very large cardinals (Q4596665) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- THE Σ<sub>1</sub>-DEFINABLE UNIVERSAL FINITE SEQUENCE (Q5082064) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
- A model of second-order arithmetic satisfying AC but not DC (Q5223119) (← links)
- Independence results for finite set theories in well-founded locally finite graphs (Q6636382) (← links)
- Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal (Q6642873) (← links)
