The Craig interpolation theorem in abstract model theory

Recommendations

Harmonious logic: Craig's interpolation theorem and its descendants
scientific article; zbMATH DE number 125237
An institution-independent proof of Craig interpolation theorem
scientific article; zbMATH DE number 1302498
The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

Cites work

scientific article; zbMATH DE number 6003856 (Why is no real title available?)
scientific article; zbMATH DE number 3494394 (Why is no real title available?)
scientific article; zbMATH DE number 3634238 (Why is no real title available?)
scientific article; zbMATH DE number 3206304 (Why is no real title available?)
scientific article; zbMATH DE number 3231082 (Why is no real title available?)
scientific article; zbMATH DE number 3247153 (Why is no real title available?)
scientific article; zbMATH DE number 3250593 (Why is no real title available?)
scientific article; zbMATH DE number 3289419 (Why is no real title available?)
scientific article; zbMATH DE number 3329887 (Why is no real title available?)
scientific article; zbMATH DE number 3192066 (Why is no real title available?)
A cut elimination theorem for stationary logic
A new approach to infinitary languages
Absolute logics and L∞ω
An application of games to the completeness problem for formalized theories
An extension of the Craig-Lyndon interpolation theorem
An interpolation theorem for denumerably long formulas
Applications of vaught sentences and the covering theorem
Axioms for abstract model theory
Beth's theorem in cardinality logics
Classification theory and the number of non-isomorphic models.
Compact extensions of L(Q) (part 1a)
Generalized Quantifiers and Compact Logic
Generalized quantification as substructural logic
Hanf numbers for fragments of L\(_{\infty \omega}\)
Infinitary analogs of theorems from first order model theory
Infinitary logic and admissible sets
Large infinitary languages. Model theory
Linear reasoning. A new form of the Herbrand-Gentzen theorem
Logic with the quantifier “there exist uncountably many”
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
Model theory for infinite quantifier languages
On Extensions of Elementary Logic
On a generalization of quantifiers
On characterizability in Lω1ω0
On defining well-orderings
On the Failure of the Weak Beth Property
On the model theory of denumerably long formulas with finite strings of quantifiers
Positive results in abstract model theory: a theory of compact logics
Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
Remarks in abstract model theory
Remarks on predicate logic with infinitely long expressions
Satisfaction for n-th order languages defined in n-th order languages
Stationary logic
Stationary logic and its friends. I
Stationary sets and infinitary logic
Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
The Ehrenfeucht-Fraisse-Game of Length ω 1
The Härtig quantifier: a survey
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
Undefinability of κ-well-orderings in L_∞κ

Cited in

(12)

scientific article; zbMATH DE number 125237 (Why is no real title available?)
Harmonious logic: Craig's interpolation theorem and its descendants
Algebraic characterization of the local Craig interpolation property
The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
Coinductive formulas and a many-sorted interpolation theorem
Chain models, trees of singular cardinality and dynamic EF-games
Model theory of measure spaces and probability logic
A framework for maximality and interpolation in abstract logics with and without negation
Craig interpolation for decidable first-order fragments
scientific article; zbMATH DE number 1159721 (Why is no real title available?)
Some remarks on the bearing of model theory on the theory of theories
scientific article; zbMATH DE number 4210104 (Why is no real title available?)

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)