Preservation theorem and relativization theorem for cofinal extensions

DOI10.2307/2273913zbMATH Open0624.03027OpenAlexW2105752492MaRDI QIDQ3762297FDOQ3762297

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

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

zbMATH Keywords

interpolationpreservationrelativizationcofinal extensions

Mathematics Subject Classification ID

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

Cites Work

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

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)