Infinitary analogs of theorems from first order model theory

DOI10.2307/2270256zbMATH Open0232.02037OpenAlexW2101692067MaRDI QIDQ5639710FDOQ5639710

Authors: J. Malitz 

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

Mathematics Subject Classification ID

Other infinitary logic (03C75) Interpolation, preservation, definability (03C40)

Cites Work

• A formal system of first-order predicate calculus with infinitely long expressions
• Title not available (Why is that?)
• On the model theory of denumerably long formulas with finite strings of quantifiers

Cited In (21)

• 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
• A heterogeneous interpolant
• Weak definability in infinitary languages
• One hundred and two problems in mathematical logic

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)