Harmonious logic: Craig's interpolation theorem and its descendants
DOI10.1007/S11229-008-9354-2zbMATH Open1169.03027OpenAlexW2038735278MaRDI QIDQ1024116FDOQ1024116
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
Recommendations
interpolation theoremsabstract model theorypreservation theoremsextensions of first-order logicmany-sorted languages
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Abstract model theory (03C95) Interpolation, preservation, definability (03C40)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Title not available (Why is that?)
- Model theory
- Title not available (Why is that?)
- Introduction to model theory and to the metamathematics of algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof theory. An introduction
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- An interpolation theorem
- Title not available (Why is that?)
- Properties preserved under homomorphism
- On Extensions of Elementary Logic
- Title not available (Why is that?)
- Homomorphism preservation theorems
- Title not available (Why is that?)
- Tarski's System of Geometry
- Infinitary logic and admissible sets
- δ-Logics and generalized quantifiers
- Title not available (Why is that?)
- An interpolation theorem in the predicate calculus
- Title not available (Why is that?)
- An extension of the Craig-Lyndon interpolation theorem
- Title not available (Why is that?)
- Theory of models with generalized atomic formulas
- Satisfaction for n-th order languages defined in n-th order languages
- Logic with the quantifier “there exist uncountably many”
- An interpolation theorem for denumerably long formulas
- 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
- Positive results in abstract model theory: a theory of compact logics
- Remarks in abstract model theory
- Stationary logic and its friends. I
- Beth's theorem in cardinality logics
- Compactness, interpolation and Friedman's third problem
- There are reasonably nice logics
- Circle networks of probabilistic transducers
- 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
- Title not available (Why is that?)
- Infinitary formulas preserved under unions of models
- The laws of distribution for syllogisms
Cited In (20)
- The logic-algebraic equations method in system dynamics
- A unified approach to relative interpolation
- Model theoretical aspects of weakly aggregative modal logic
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
- The road to two theorems of logic
- Generalized interpolation in CASL
- Craig interpolation in the presence of unreliable connectives
- A semantic approach to interpolation
- Interpolation in computing science: The semantics of modularization
- Some remarks on the bearing of model theory on the theory of theories
- Generalized interpolation in first order logic
- An institution-independent proof of Craig interpolation theorem
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi
- The Craig interpolation theorem in abstract model theory
- Craig interpolation in displayable logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monotone quantifiers: Interpolation and preservation
- Craig interpolation for networks of sentences
- A probabilistic interpolation theorem
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)
