An Interpolation Theorem

DOI10.2307/420966zbMath0981.03040OpenAlexW1998141358MaRDI QIDQ2711348

Martin Otto

Publication date: 26 July 2001

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0604-toc.htm

zbMATH Keywords

interpolation theoremCraig-interpolationLyndon-interpolant

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Related Items (5)

Effective Interpolation and Preservation in Guarded Logics ⋮ Generating conditions for preserving the properties of controlled discrete event systems ⋮ Craig interpolation for networks of sentences ⋮ 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

• An interpolation theorem in the predicate calculus
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A new look at the interpolation problem
• Information transfer across Chu spaces
• Two theorems on mix-relativization

This page was built for publication: An Interpolation Theorem