• Corpus ID: 118968721

# An Ehrenfeucht-Fra\"{i}ss\'{e} Game for $L_{\omega_1\omega}$

@inproceedings{Vaananen2012AnEG,
title={An Ehrenfeucht-Fra\"\{i\}ss\'\{e\} Game for \$L\_\{\omega\_1\omega\}\$},
author={Jouko Vaananen and Tong Wang},
year={2012}
}
• Published 1 December 2012
• Mathematics
Ehrenfeucht-Fräıssé games are very useful in studying separation and equivalence results in logic. The standard finite Ehrenfeucht-Fräıssé game characterizes equivalence in first order logic. The standard EhrenfeuchtFräıssé game in infinitary logic characterizes equivalence in L∞ω. The logic Lω1ω is the extension of first order logic with countable conjunctions and disjunctions. There was no Ehrenfeucht-Fräıssé game for Lω1ω in the literature. In this paper we develop an Ehrenfeucht-Fräıss…

## References

SHOWING 1-10 OF 11 REFERENCES
On the semantics of informational independence
The semantics of the independence friendly logic of Hintikka and Sandu is defined in terms of a game of perfect information and an Ehrenfeucht-Fräıssé game is given adequate for this logic and used to define a Distributive Normal Form forindependence friendly logic.
Models and Games. Number 132 in Cambridge Studies in Advanced Mathematics
• 2011
The role of the Omitting Types Theorem in infinitary logic
Reduced Products and Nonstandard Logics
• M. Benda
• Computer Science, Mathematics
J. Symb. Log.
• 1969
Application of games to some problems of mathematical logic
• Bulletin de l’Acadámie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques Cl. III.,5,
• 1957