Harmonious logic: Craig's interpolation theorem and its descendants
type: Item
instance of: scholarly article
title: Harmonious logic: Craig's interpolation theorem and its descendants
zbMATH Open document ID: 1169.03027
author: Solomon Feferman
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03C95
zbMATH DE Number: 5565217
zbMATH Keywords: interpolation theorems
zbMATH Keywords: preservation theorems
zbMATH Keywords: many-sorted languages
zbMATH Keywords: extensions of first-order logic
zbMATH Keywords: abstract model theory
MaRDI profile type: Publication
full work available at URL: s11229-008-9354-2
OpenAlex ID: W2038735278
cites work: Infinitary logic and admissible sets
cites work: Q3714043
cites work: Q5824680
cites work: Model theory
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Satisfaction for n-th order languages defined in n-th order languages
cites work: Q4255575
cites work: Q5544276
cites work: Q4068717
cites work: Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
cites work: Beth's theorem in cardinality logics
cites work: Untersuchungen über das logische Schliessen. I
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: Q4003410
cites work: The laws of distribution for syllogisms
cites work: There are reasonably nice logics
cites work: Theory of models with generalized atomic formulas
cites work: Logic with the quantifier “there exist uncountably many”
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Circle networks of probabilistic transducers
cites work: On Extensions of Elementary Logic
cites work: An interpolation theorem for denumerably long formulas
cites work: An interpolation theorem in the predicate calculus
cites work: Properties preserved under homomorphism
cites work: Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
cites work: The theorems of beth and Craig in abstract model theory II. Compact logics
cites work: Positive results in abstract model theory: a theory of compact logics
cites work: δ-Logics and generalized quantifiers
cites work: Stationary logic and its friends. I
cites work: Q5573359
cites work: Compactness, interpolation and Friedman's third problem
cites work: Infinitary formulas preserved under unions of models
cites work: An interpolation theorem
cites work: Proof theory. An introduction
cites work: Q3240238
cites work: Introduction to model theory and to the metamathematics of algebra
cites work: Homomorphism preservation theorems
cites work: Q4143279
cites work: Remarks in abstract model theory
cites work: A new look at the interpolation problem
cites work: Q5610986
cites work: Q5833217
cites work: Tarski's System of Geometry
cites work: Q5573940
DOI: 10.1007/S11229-008-9354-2
description: scientific article; zbMATH DE number 5565217