Preservation theorem and relativization theorem for cofinal extensions

DOI10.2307/2273913zbMath0624.03027OpenAlexW2105752492MaRDI QIDQ3762297

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

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

Related Items (1)

Some proof theoretic-properties of dense linear orderings and countable well-orderings

Cites Work

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

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