An interpolation theorem

DOI10.2307/420966MaRDI QIDQ2711348zbMATH OpenOpenAlexFDO

Authors Martin Otto

Publication date 26 July 2001

Published in The 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)

Recommendations

• A unified approach to relative interpolation
• Equality and lyndon's interpolation theorem
• Monotone quantifiers: Interpolation and preservation
• Infinitary formulas preserved under unions of models
• Interpolation with decidable fixpoint logics

Cites work

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

Cited in

(17)

• A unified approach to relative interpolation
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
• scientific article; zbMATH DE number 7272376 (Why is no real title available?)
• Harmonious logic: Craig's interpolation theorem and its descendants
• Effective interpolation and preservation in guarded logics
• An interpolation theorem for transformers
• Generating conditions for preserving the properties of controlled discrete event systems
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• scientific article; zbMATH DE number 7226007 (Why is no real title available?)
• Craig interpolation for decidable fragments of first-order logic (invited talk)
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments
• Equality and lyndon's interpolation theorem
• Monotone quantifiers: Interpolation and preservation
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• scientific article; zbMATH DE number 3979799 (Why is no real title available?)
• Craig interpolation for networks of sentences

This page was built for publication: An interpolation theorem

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