Infinitary formulas preserved under unions of models
From MaRDI portal
Publication:5677454
DOI10.2307/2272730zbMath0262.02015OpenAlexW2136039098MaRDI QIDQ5677454
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272730
Model theory (03C99) Other infinitary logic (03C75) Other classical first-order model theory (03C68)
Related Items
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ On classes closed under unions of chains ⋮ Harmonious logic: Craig's interpolation theorem and its descendants
Cites Work
- Unnamed Item
- Unnamed Item
- Remarks on universal sentences of \(L_{\omega_ 1},_ \omega\)
- Universal classes in infinitary languages
- Some applications of infinitely long formulas
- Persistent and invariant formulas relative to theories of higher order
- On the model theory of denumerably long formulas with finite strings of quantifiers