Article contents
The hierarchy theorem for second order generalized quantifiers
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
REFERENCES
- 4
- Cited by