The Craig interpolation theorem in abstract model theory
type: Item
instance of: scholarly article
title: The Craig interpolation theorem in abstract model theory
zbMATH Open document ID: 1169.03028
author: Jouko Väänänen
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03C95
zbMATH DE Number: 5565220
zbMATH Keywords: interpolation
zbMATH Keywords: abstract logic
zbMATH Keywords: generalized quantifier
zbMATH Keywords: infinitary language
MaRDI profile type: Publication
full work available at URL: s11229-008-9357-z
OpenAlex ID: W2153924610
cites work: Q5519133
cites work: Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
cites work: Generalized quantification as substructural logic
cites work: Infinitary logic and admissible sets
cites work: Absolute logics and L∞ω
cites work: Axioms for abstract model theory
cites work: Q4075450
cites work: Stationary logic
cites work: Hanf numbers for fragments of L\(_{\infty \omega}\)
cites work: Q4194945
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: Large infinitary languages. Model theory
cites work: An application of games to the completeness problem for formalized theories
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: On the Failure of the Weak Beth Property
cites work: Applications of vaught sentences and the covering theorem
cites work: Q5533179
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: The Härtig quantifier: a survey
cites work: A new approach to infinitary languages
cites work: Model theory for infinite quantifier languages
cites work: Q5332215
cites work: Q5728445
cites work: Q5607980
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: Q3113046
cites work: On characterizability in Lω1ω0
cites work: On Extensions of Elementary Logic
cites work: An interpolation theorem for denumerably long formulas
cites work: On defining well-orderings
cites work: Compact extensions of L(Q) (part 1a)
cites work: On the model theory of denumerably long formulas with finite strings of quantifiers
cites work: Positive results in abstract model theory: a theory of compact logics
cites work: Infinitary analogs of theorems from first order model theory
cites work: Stationary logic and its friends. I
cites work: The Ehrenfeucht-Fraisse-Game of Length ω 1
cites work: On a generalization of quantifiers
cites work: Q5573359
cites work: Undefinability of κ-well-orderings in L∞κ
cites work: Generalized Quantifiers and Compact Logic
cites work: Remarks in abstract model theory
cites work: Classification theory and the number of non-isomorphic models.
cites work: Stationary sets and infinitary logic
cites work: Q5537410
cites work: A cut elimination theorem for stationary logic
cites work: Remarks on predicate logic with infinitely long expressions
cites work: Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
DOI: 10.1007/S11229-008-9357-Z
description: scientific article; zbMATH DE number 5565220