Journal of Symbolic Logic

The hierarchy theorem for second order generalized quantifiers

Juha Kontinen

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


We study definability of second order generalized quantifiers on finite structures. Our main result says that for every second order type t there exists a second order generalized quantifier of type t which is not definable in the extension of second order logic by all second order generalized quantifiers of types lower than t.

Article information

J. Symbolic Logic Volume 71, Issue 1 (2006), 188-202.

First available in Project Euclid: 22 February 2006

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03C80: Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48]
Secondary: 03C13: Finite structures [See also 68Q15, 68Q19] 03C85: Second- and higher-order model theory


Kontinen, Juha. The hierarchy theorem for second order generalized quantifiers. J. Symbolic Logic 71 (2006), no. 1, 188--202. doi:10.2178/jsl/1140641168.

Export citation


  • A. Andersson On second-order generalized quantifiers and finite structures, Annals of Pure and Applied Logic, vol. 115 (2002), no. 1--3, pp. 1--32.
  • W. Burnside Theory of Groups of Finite Order, 2nd ed., Dover Publications Inc., New York,1955.
  • R. Fagin The number of finite relational structures, Discrete Mathematics, vol. 19 (1977), no. 1, pp. 17--21.
  • L. Hella, K. Luosto, and J. Väänänen The hierarchy theorem for generalized quantifiers, Journal of Symbolic Logic, vol. 61 (1996), no. 3, pp. 802--817.
  • J. Kontinen Definability of second order generalized quantifiers, Archive for Mathematical Logic, to appear.