Abstract
We study second order generalized quantifiers on finite structures. One starting point of this research has been the notion of definability of Lindström quantifiers. We formulate an analogous notion for second order generalized quantifiers and study definability of second order generalized quantifiers in terms of Lindström quantifiers.
Similar content being viewed by others
References
Andersson A.: On second-order generalized quantifiers and finite structures. Ann. Pure Appl. Logic 115(1–3), 1–32 (2002)
Hella L., Luosto K., Väänänen J.: The hierarchy theorem for generalized quantifiers. J. Symb. Log. 61(3), 802–817 (1996)
Lindström P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was financially supported by the Vilho, Yrjö and Kalle Väisälä Foundation and the Graduate School of Mathematical Analysis and Logic.
Rights and permissions
About this article
Cite this article
Kontinen, J. Definability of second order generalized quantifiers. Arch. Math. Logic 49, 379–398 (2010). https://doi.org/10.1007/s00153-010-0177-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0177-8