An Ehrenfeucht-Fraïssé game for Lω1ω
From MaRDI portal
Publication:2856638
DOI10.1002/malq.201200104zbMath1300.03020arXiv1212.0108MaRDI QIDQ2856638
Publication date: 30 October 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.0108
03C75: Other infinitary logic
Related Items
Some transfinite natural sums, On Carruth's axioms for natural sums and products, An infinite natural product, An infinite natural sum
Cites Work
- Unnamed Item
- Unnamed Item
- On the semantics of informational independence
- The role of the Omitting Types Theorem in infinitary logic
- An interpolation theorem for denumerably long formulas
- Reduced products and nonstandard logics
- The sentential calculus with infinitely long expressions
- Remarks on predicate logic with infinitely long expressions