An interpolation theorem in the predicate calculus

DOI10.2140/pjm.1959.9.129zbMath0093.01002OpenAlexW1972122408MaRDI QIDQ772218

Roger C. Lyndon

Publication date: 1959

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1959.9.129

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items

Effective Interpolation and Preservation in Guarded Logics ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ On the Craig-Lyndon interpolation theorem ⋮ Model theory of monadic predicate logic with the infinity quantifier ⋮ THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ The Craig-Lyndon interpolation theorem in 3-valued logic ⋮ An extension of the Craig-Lyndon interpolation theorem ⋮ Craig interpolation with clausal first-order tableaux ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Homorphie-invariante Formeln in der intuitionistischen Logik ⋮ Craig interpolation for networks of sentences ⋮ Properties preserved under algebraic constructions ⋮ An Interpolation Theorem ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ Through an Inference Rule, Darkly ⋮ Craig interpolation in the presence of unreliable connectives ⋮ The laws of distribution for syllogisms ⋮ First order properties on nowhere dense structures ⋮ A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products ⋮ Infinite coforcing in model theory ⋮ Interpolation and Symbol Elimination ⋮ Unnamed Item ⋮ Refinements of Vaught's normal from theorem ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Existential Horn Sentences ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ On sequence-conclusion natural deduction systems ⋮ Projective model completeness ⋮ Equality and lyndon's interpolation theorem

This page was built for publication: An interpolation theorem in the predicate calculus