Conservative extensions of models of set theory and generalizations
From MaRDI portal
Recommendations
- Minimal elementary extensions of models of set theory and arithmetic
- scientific article; zbMATH DE number 1302491
- scientific article; zbMATH DE number 4006270
- Extendible Sets in Peano Arithmetic
- scientific article; zbMATH DE number 3557789
- Elementary extensions of models of set theory
- On cofinal extensions of models of arithmetic
- A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
- Model-theoretic properties characterizing Peano arithmetic
- A note on end extensions
Cites work
- A minimal extension that is not conservative
- Blunt and topless end extensions of models of set theory
- Fundamenta Mathematicae: An Examination of Its Founding and Significance
- scientific article; zbMATH DE number 3467029 (Why is no real title available?)
- Logic with the quantifier “there exist uncountably many”
- Models with second order properties II. Trees with no undefined branches
- On power-like models for hyperinaccessible cardinals
- On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
- On κ-like structures which embed stationary and closed unbounded subsets
- Weakly compact cardinals in models of set theory
Cited in
(16)- A model theoretic proof of Feferman's preservation theorem
- Model-theoretic conservative extension for definitional theories
- End extending models of set theory via power admissible covers
- Cardinal elementary extensions
- Conservative extensions of models with weakly o-minimal theories
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
- scientific article; zbMATH DE number 3887675 (Why is no real title available?)
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
- Faithful extensions on finite orders classes
- Elementary Extensions of Models of the Alternative Set Theory
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
- scientific article; zbMATH DE number 3557789 (Why is no real title available?)
- Set theory with a proper class of indiscernibles
- Some remarks on definability of types and conservative extension
- The structure of C(aa)
- Minimal elementary extensions of models of set theory and arithmetic
This page was built for publication: Conservative extensions of models of set theory and generalizations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3030803)
