Harmonious logic: Craig's interpolation theorem and its descendants

DOI10.1007/S11229-008-9354-2MaRDI QIDQ1024116zbMATHOpenAlexFDO

Authors 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) Abstract model theory (03C95) Interpolation, preservation, definability (03C40)

Recommendations

• The Craig interpolation theorem in abstract model theory
• Generalized interpolation in first order logic
• A semantic approach to interpolation
• Interpolation in extensions of first-order logic
• scientific article; zbMATH DE number 1931663

Cites work

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

Cited in

(22)

• scientific article; zbMATH DE number 3877158 (Why is no real title available?)
• A semantic approach to interpolation
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• Interpolation in computing science: The semantics of modularization
• Generalized interpolation in CASL
• The Craig interpolation theorem in abstract model theory
• Craig interpolation in the presence of unreliable connectives
• The logic-algebraic equations method in system dynamics
• The road to two theorems of logic
• Craig interpolation in displayable logics
• A probabilistic interpolation theorem
• Monotone quantifiers: Interpolation and preservation
• Generalized interpolation in first order logic
• A unified approach to relative interpolation
• An institution-independent proof of Craig interpolation theorem
• Model theoretical aspects of weakly aggregative modal logic
• A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity
• Machine-checked interpolation theorems for substructural logics using display calculi
• Horn filter pairs and Craig interpolation in propositional logic
• Some remarks on the bearing of model theory on the theory of theories
• Craig interpolation for networks of sentences

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

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