A new look at the interpolation problem

DOI10.2307/2272262zbMath0319.02012OpenAlexW2094037275MaRDI QIDQ4081206

Jacques Stern

Publication date: 1975

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

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Consistency and independence results (03E35) Other infinitary logic (03C75) Other classical first-order model theory (03C68)

Related Items (6)

Unnamed Item ⋮ An Interpolation Theorem ⋮ Coinductive formulas and a many-sorted interpolation theorem ⋮ Partially definable forcing and bounded arithmetic ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Harmonious logic: Craig's interpolation theorem and its descendants

Cites Work

• Forcing and generalized quantifiers

This page was built for publication: A new look at the interpolation problem