Preservation theorem and relativization theorem for cofinal extensions

DOI10.2307/2273913MaRDI QIDQ3762297zbMATH OpenOpenAlexFDO

Authors Nobuyoshi Motohashi

Publication date 1986

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273913

zbMATH Keywords

interpolationpreservationrelativizationcofinal extensions

Mathematics Subject Classification ID

Other model constructions (03C30) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40)

Recommendations

• A model theoretic proof of Feferman's preservation theorem
• On cofinal extensions of models of fragments of arithmetic
• Preservation under substructures modulo bounded cores
• A generalization of the Łoś-Tarski preservation theorem
• Remarks in abstract model theory

Cites work

• A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
• An extended relativization theorem
• Interpolation Theorem and Characterization Theorem
• Proof theory

Cited in

(4)

• Some proof theoretic-properties of dense linear orderings and countable well-orderings
• A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
• A generalization of the Łoś-Tarski preservation theorem
• A model theoretic proof of Feferman's preservation theorem

This page was built for publication: Preservation theorem and relativization theorem for cofinal extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3762297)