Infinitary analogs of theorems from first order model theory
From MaRDI portal
Publication:5639710
Cites work
Cited in
(21)- A heterogeneous interpolant
- Weak definability in infinitary languages
- One hundred and two problems in mathematical logic
- Model theory via set theory
- Algorithmic uses of the Feferman-Vaught theorem
- On the Failure of the Weak Beth Property
- Beth's theorem in cardinality logics
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Beth's property fails in L<ω
- Definability and automorphisms in abstract logics
- Scott's interpolation theorem fails for Lω1, ω
- \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
- The Craig interpolation theorem in abstract model theory
- Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
- Karp's interpolation theorem for some classes of infinitary languages
- Chain models, trees of singular cardinality and dynamic EF-games
- Pragmatic truth and approximation to truth
- LOGICALITY AND MODEL CLASSES
- An analysis of Karp's interpolation theorem and the notion of k- consistency property
- A direct proof of the Feferman-Vaught theorem and other preservation theorems in products
This page was built for publication: Infinitary analogs of theorems from first order model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5639710)
