Shrinking games and local formulas

Annals of Pure and Applied Logic

Volumn 128, Issue 1-3, 2004, Pages 215-225

  Keisler, H Jerome ^a   Lotfallah, Wafik Boulos ^b  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b CAIRO UNIVERSITY   (Egypt)

Author keywords

Ehrenfeucht Fra ss games; Finite model theory; Local formulas; Quantifier rank

Indexed keywords

EID: 2442437971     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2004.01.004     Document Type: Article

References (7)

1. Ehrenfeucht A. An application of games to the completeness problem for formalized theories Fund. Math. 49 1961 129-141
2. Gaifman H. On local and nonlocal properties Stern J. Logic Colloquium '81 1982 105-135 North-Holland Amsterdam
3. Libkin, L. On the forms of locality over finite models, in: Proc. 12th IEEE Symp. on Logic in Computer Science, 1997.
4. Libkin L. On counting logics and local properties ACM TOCL 1 1 2000
5. Lifsches, S. Shelah, S. Distorted sums of models, Publication #603, Shelah's Archive.
6. Schwentick T. On winning Ehrenfeucht games and monadic NP Ann. Pure Appl. Logic 79 1996 61-92
7. Schwentick T. Barthelmann K. Local normal forms for first-order logic with applications to games and automata Discrete Math. Theoret. Comput. Sci. 3 3 1999 109-124