Journal of Symbolic Logic 71 (1):188 - 202 (2006)
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2178/jsl/1140641168 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,231
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
On Second-Order Generalized Quantifiers and Finite Structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.
Citations of this work BETA
Dependence Logic with a Majority Quantifier.Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer - 2015 - Journal of Logic, Language and Information 24 (3):289-305.
Similar books and articles
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
The Hierarchy Theorem for Generalized Quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
Relativized Logspace and Generalized Quantifiers Over Finite Ordered Structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
Definability of Polyadic Lifts of Generalized Quantifiers.Lauri Hella, Jouko Väänänen & Dag Westerståhl - 1997 - Journal of Logic, Language and Information 6 (3):305-335.
Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Natural Language, Sortal Reducibility and Generalized Quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
A Representation Theorem for Languages with Generalized Quantifiers Through Back-and-Forth Methods.Renato H. L. Pedrosa & Antonio M. A. Sette - 1988 - Studia Logica 47 (4):401 - 411.
On Second-Order Generalized Quantifiers and Finite Structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.
Analytics
Added to PP index
2010-08-24
Total views
16 ( #668,455 of 2,518,146 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,146 )
2010-08-24
Total views
16 ( #668,455 of 2,518,146 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,146 )
How can I increase my downloads?
Downloads
