A model theoretic proof of Feferman's preservation theorem (Q1059066)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A model theoretic proof of Feferman's preservation theorem |
scientific article; zbMATH DE number 3902632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model theoretic proof of Feferman's preservation theorem |
scientific article; zbMATH DE number 3902632 |
Statements
A model theoretic proof of Feferman's preservation theorem (English)
0 references
1984
0 references
Generalizing the definition of end extension to an arbitrary binary relation, one obtains the notion of faithful extension. Using proof- theoretical methods, Feferman characterized the set of formulas preserved under faithful extensions. Feferman's theorem was subsequently proved by Stern and Guichard using model-theoretic forcing and consistency properties, respectively. The author provides one more model-theoretic proof, using recursive saturation.
0 references
recursively saturated model
0 references
end extension
0 references
faithful extension
0 references
recursive saturation
0 references
