Infinitary analogs of theorems from first order model theory
From MaRDI portal
Publication:5639710
DOI10.2307/2270256zbMath0232.02037OpenAlexW2101692067MaRDI QIDQ5639710
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270256
Related Items
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ LOGICALITY AND MODEL CLASSES ⋮ A direct proof of the Feferman-Vaught theorem and other preservation theorems in products ⋮ Pragmatic truth and approximation to truth ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Karp's interpolation theorem for some classes of infinitary languages ⋮ An analysis of Karp's interpolation theorem and the notion of k- consistency property ⋮ One hundred and two problems in mathematical logic ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) ⋮ Scott's interpolation theorem fails for Lω1, ω ⋮ Definability and automorphisms in abstract logics ⋮ \(\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\) ⋮ Model theory via set theory ⋮ Beth's property fails in L<ω ⋮ The Craig interpolation theorem in abstract model theory ⋮ CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES ⋮ Beth's theorem in cardinality logics ⋮ On the Failure of the Weak Beth Property ⋮ A heterogeneous interpolant ⋮ Weak definability in infinitary languages
Cites Work
