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

Craig-interpolationinterpolation theoremLyndon-interpolant

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Review text

The author proves a Lyndon-like interpolation theorem where, for some fixed tuple \(U\) of unary predicates, all formulas under consideration have all their quantifiers explicitly relativized to one of the \(U\)'s. Under this stipulation, existential (resp., universal) quantification over \(U\) contributes a positive (resp., negative) occurrence of \(U\). It is shown that this interpolation theorem unifies a number of related results.

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)

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

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)