A local normal form theorem for infinitary logic with unary quantifiers

Mathematical Logic Quarterly

Volumn 51, Issue 2, 2005, Pages 137-144

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

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b The German University in Cairo   (Egypt)

Author keywords

Ehrenfeucht Fra ss game; Locality; Normal form; Unary quantifier

Indexed keywords

EID: 15244359670     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.200410013     Document Type: Article

References (13)

1. R. Fagin, L. Stockmeyer, and M. Vardi, On monadic NP vs monadic co-NP. Information and Computation 120, 78-92 (1995).
2. H. Gaifman, On local and nonlocal properties. In: Logic Colloquium '81 (J. Stern, ed.), pp. 105-135 (North Holland, Amsterdam 1982).
3. W. Hanf, Model-theoretic methods in the study of elementary logic. In: The Theory of Models (J. Addison, L. Henkin, and A. Tarski, eds.), pp. 132-145 (North Holland, Amsterdam 1965).
4. L. Hella, Definability hierarchies of generalized quantifiers. Annals Pure Appl. Logic 43, 235-271 (1989).
5. L. Hella, Logical hierarchies in PTME. Information and Computation 129, 1-19 (1996).
6. L. Hella, L. Libkin, and J. Nurmonen, Notions of locality and their logical characterizations over finite models. J. Symbolic Logic 64, 1751-1773 (1999).
7. W. Hodges, A Shorter Model Theory (Cambridge University Press, Cambridge 1997).
8. N. Immerman, Descriptive Complexity (Springer-Verlag, New York 1999).
9. H. J. Keisler and W. B. Lotfallah, Shrinking games and local formulas. Annals Pure Appl. Logic (to appear).
10. Ph. Kolaitis and J. Väänänen, Generalized quantifiers and pebble games on finite structures. Annals Pure Appl. Logic 74, 23-75 (1995).
11. L. Libkin, On counting logics and local properties ACM TOCL 1(1) (2000).
12. S. Lifsches and S. Shelah, Distorted sums of models. Unpublished manuscript 1996.
13. J. Nurmonen, On winning strategies with unary quantifiers. J. Logic and Computation 6, 779-798 (1996).