An interpolation theorem

DOI10.2307/420966zbMATH Open0981.03040OpenAlexW1998141358MaRDI QIDQ2711348FDOQ2711348

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

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

zbMATH Keywords

interpolation theoremCraig-interpolationLyndon-interpolant

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Cites Work

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

Cited In (15)

• A unified approach to relative interpolation
• From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
• Title not available (Why is that?)
• Harmonious logic: Craig's interpolation theorem and its descendants
• An interpolation theorem for transformers
• Generating conditions for preserving the properties of controlled discrete event systems
• Effective Interpolation and Preservation in Guarded Logics
• Title not available (Why is that?)
• Craig interpolation for decidable first-order fragments
• Equality and lyndon's interpolation theorem
• Monotone quantifiers: Interpolation and preservation
• Title not available (Why is that?)
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• 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)