Second-order quantifiers and the complexity of theories

Notre Dame Journal of Formal Logic 26 (3):229-303 (1985)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093870870
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,798
External links

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
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Toward Classifying Unstable Theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
A Model-Theoretic Characterisation of Clique Width.Achim Blumensath - 2006 - Annals of Pure and Applied Logic 142 (1):321-350.
Simple Monadic Theories and Indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
Trivial Pursuit: Remarks on the Main Gap.John T. Baldwin & Leo Harrington - 1987 - Annals of Pure and Applied Logic 34 (3):209-230.
Triviality, NDOP and Stable Varieties.B. Hart, A. Pillay & S. Starchenko - 1993 - Annals of Pure and Applied Logic 62 (2):119-146.

View all 10 citations / Add more citations

Similar books and articles
Theory Discovery From Data with Mixed Quantifiers.Kevin T. Kelly & Clark Glymour - 1990 - Journal of Philosophical Logic 19 (1):1 - 33.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Complexity of the Two-Variable Fragment with Counting Quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Spectra of Formulae with Henkin Quantifiers.Joanna Golinska-Pilarek & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers.
Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
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 Dichotomy in Classifying Quantifiers for Finite Models.Saharon Shelah & Mor Doron - 2005 - Journal of Symbolic Logic 70 (4):1297 - 1324.
Logical Hierarchies in PTIME.Lauri Hella - 1996 - Information And Computation 129 (1):1--19.

Monthly downloads

Added to index


Total downloads

4 ( #648,506 of 2,177,979 )

Recent downloads (6 months)

1 ( #317,206 of 2,177,979 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums