Pages that link to "Item:Q3807185"
From MaRDI portal
The following pages link to Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185):
Displaying 8 items.
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- The wholeness axiom and Laver sequences (Q1591376) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- The spectrum of elementary embeddings \(j: V \to V\) (Q2368919) (← links)
- ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES (Q4638982) (← links)
- ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
- Pointwise definable models of set theory (Q4916549) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)