• Corpus ID: 118968721

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

  title={An Ehrenfeucht-Fra\"\{i\}ss\'\{e\} Game for \$L\_\{\omega\_1\omega\}\$},
  author={Jouko Vaananen and Tong Wang},
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… 

Figures from this paper


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.
Languages with expressions of infinite length
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
An interpolation theorem for denumerably long formulas
Remarks on predicate logic with infinitely long expressions
The Sentential Calculus with Infinitely Long Expressions
Application of games to some problems of mathematical logic
  • Bulletin de l’Acadámie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques Cl. III.,5,
  • 1957