Pages that link to "Item:Q5401599"
From MaRDI portal
The following pages link to EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE (Q5401599):
Displaying 9 items.
- Rank-initial embeddings of non-standard models of set theory (Q781504) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- (Q3323933) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES (Q5065132) (← links)
- Incomparable ω<sub>1</sub>‐like models of set theory (Q5108089) (← links)
- Indivisible sets and well‐founded orientations of the Rado graph (Q5108845) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
