The Hierarchy Theorem for Second Order Generalized Quantifiers
β Scribed by Juha Kontinen
- Book ID
- 124978790
- Publisher
- Association for Symbolic Logic
- Year
- 2006
- Tongue
- English
- Weight
- 905 KB
- Volume
- 71
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/27588441
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We consider the expressive power of second-order generalized quantiΓΏers on ΓΏnite structures, especially with respect to the types of the quantiΓΏers. We show that on ΓΏnite structures with at most binary relations, there are very powerful second-order generalized quantiΓΏers, even of the simplest possi
A (an(Ayn)% + Β’ (n, yn,Ayn) where an > O, qn > O, f, and Β’ are continuous real valued functions, and uf(u) > 0 for u Β’ 0. They give oscillation results for equation (E). Examples are included to illustrate the results. @ 2001 Elsevier Science Ltd. All rights reserved.