Harmonious logic: Craig's interpolation theorem and its descendants

DOI10.1007/s11229-008-9354-2zbMath1169.03027OpenAlexW2038735278MaRDI QIDQ1024116

Solomon Feferman

Publication date: 16 June 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9354-2

zbMATH Keywords

interpolation theoremsabstract model theorypreservation theoremsextensions of first-order logicmany-sorted languages

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Related Items (7)

Model theoretical aspects of weakly aggregative modal logic ⋮ Craig interpolation for networks of sentences ⋮ Craig Interpolation in Displayable Logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi ⋮ The logic-algebraic equations method in system dynamics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpolation theorem in the predicate calculus
• Properties preserved under homomorphism
• Positive results in abstract model theory: a theory of compact logics
• Remarks in abstract model theory
• Model theory
• Proof theory. An introduction
• Stationary logic and its friends. I
• Untersuchungen über das logische Schliessen. I
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Beth's theorem in cardinality logics
• Introduction to model theory and to the metamathematics of algebra
• An Interpolation Theorem
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Circle networks of probabilistic transducers
• Theory of models with generalized atomic formulas
• Homomorphism preservation theorems
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Compactness, interpolation and Friedman's third problem
• There are reasonably nice logics
• A new look at the interpolation problem
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
• δ-Logics and generalized quantifiers
• Tarski's System of Geometry
• An interpolation theorem for denumerably long formulas
• Satisfaction for n-th order languages defined in n-th order languages
• On Extensions of Elementary Logic
• Logic with the quantifier “there exist uncountably many”
• Infinitary logic and admissible sets
• An extension of the Craig-Lyndon interpolation theorem
• Infinitary formulas preserved under unions of models
• The laws of distribution for syllogisms

This page was built for publication: Harmonious logic: Craig's interpolation theorem and its descendants