The Craig interpolation theorem in abstract model theory
From MaRDI portal
Publication:1024119
DOI10.1007/S11229-008-9357-ZzbMath1169.03028OpenAlexW2153924610MaRDI QIDQ1024119
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-9357-z
Related Items (2)
MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC ⋮ CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
- Positive results in abstract model theory: a theory of compact logics
- Remarks in abstract model theory
- A cut elimination theorem for stationary logic
- Classification theory and the number of non-isomorphic models.
- Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
- Large infinitary languages. Model theory
- Stationary logic and its friends. I
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Hanf numbers for fragments of L\(_{\infty \omega}\)
- Beth's theorem in cardinality logics
- On characterizability in Lω1ω0
- The Ehrenfeucht-Fraisse-Game of Length ω 1
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- On a generalization of quantifiers
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- An application of games to the completeness problem for formalized theories
- Model theory for infinite quantifier languages
- The Härtig quantifier: a survey
- Generalized Quantifiers and Compact Logic
- Axioms for abstract model theory
- Applications of vaught sentences and the covering theorem
- Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
- A new approach to infinitary languages
- On the Failure of the Weak Beth Property
- Compact extensions of L(Q) (part 1a)
- Stationary logic
- Undefinability of κ-well-orderings in L∞κ
- Stationary sets and infinitary logic
- An interpolation theorem for denumerably long formulas
- On defining well-orderings
- 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 analogs of theorems from first order model theory
- On the model theory of denumerably long formulas with finite strings of quantifiers
- Absolute logics and L∞ω
- Generalized quantification as substructural logic
- Remarks on predicate logic with infinitely long expressions
This page was built for publication: The Craig interpolation theorem in abstract model theory
