Infinitary formulas preserved under unions of models
From MaRDI portal
Publication:5677454
DOI10.2307/2272730zbMath0262.02015MaRDI 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
Related Items
Harmonious logic: Craig's interpolation theorem and its descendants, Elimination of unbounded quantifiers for some poly-regular groups of infinite rank, On classes closed under unions of chains
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