An Ehrenfeucht-Fraïssé game for Lω1ω

DOI10.1002/malq.201200104zbMath1300.03020arXiv1212.0108OpenAlexW2098041166MaRDI QIDQ2856638

Jouko Väänänen, Tong Wang

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

zbMATH Keywords

infinitary logicEhrenfeucht-Fraïssé gamesize of a formulainfinite binary string

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items (4)

On Carruth's axioms for natural sums and products ⋮ Some transfinite natural sums ⋮ 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

This page was built for publication: An Ehrenfeucht-Fraïssé game for Lω1ω