Pages that link to "Item:Q3030803"
From MaRDI portal
The following pages link to Conservative extensions of models of set theory and generalizations (Q3030803):
Displaying 14 items.
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- A model theoretic proof of Feferman's preservation theorem (Q1059066) (← links)
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← links)
- Cardinal elementary extensions (Q2701649) (← links)
- Conservative extensions of models with weakly o-minimal theories (Q2885228) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- (Q3222184) (← links)
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC (Q3325717) (← links)
- Faithful extensions on finite orders classes (Q3439369) (← links)
- Elementary Extensions of Models of the Alternative Set Theory (Q3699685) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- End-extensions preserving power set (Q3981458) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)