The Craig interpolation theorem in abstract model theory
From MaRDI portal
Publication:1024119
DOI10.1007/S11229-008-9357-ZzbMATH Open1169.03028OpenAlexW2153924610MaRDI QIDQ1024119FDOQ1024119
Authors: Jouko Väänänen 
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
Recommendations
Cites Work
- Classification theory and the number of non-isomorphic models.
- Large infinitary languages. Model theory
- Generalized Quantifiers and Compact Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- On Extensions of Elementary Logic
- Infinitary logic and admissible sets
- Title not available (Why is that?)
- An extension of the Craig-Lyndon interpolation theorem
- Compact extensions of L(Q) (part 1a)
- The Ehrenfeucht-Fraisse-Game of Length ω 1
- Infinitary analogs of theorems from first order model theory
- Title not available (Why is that?)
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
- Satisfaction for n-th order languages defined in n-th order languages
- Hanf numbers for fragments of L\(_{\infty \omega}\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic with the quantifier “there exist uncountably many”
- An interpolation theorem for denumerably long formulas
- A cut elimination theorem for stationary logic
- Stationary logic
- Stationary sets and infinitary logic
- Axioms for abstract model theory
- Absolute logics and L∞ω
- A new approach to infinitary languages
- 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
- On the model theory of denumerably long formulas with finite strings of quantifiers
- Model theory for infinite quantifier languages
- Title not available (Why is that?)
- Undefinability of κ-well-orderings in L∞κ
- Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
- On characterizability in Lω1ω0
- The Härtig quantifier: a survey
- 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
- On the Failure of the Weak Beth Property
- Title not available (Why is that?)
- On defining well-orderings
- Title not available (Why is that?)
- Generalized quantification as substructural logic
- Remarks on predicate logic with infinitely long expressions
Cited In (11)
- CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES
- Title not available (Why is that?)
- Title not available (Why is that?)
- Harmonious logic: Craig's interpolation theorem and its descendants
- MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
- Some remarks on the bearing of model theory on the theory of theories
- Craig interpolation for decidable first-order fragments
- Title not available (Why is that?)
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
- Coinductive formulas and a many-sorted interpolation theorem
- A framework for maximality and interpolation in abstract logics with and without negation
This page was built for publication: The Craig interpolation theorem in abstract model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024119)
