CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
A characterization of definability of second-order generalized quantifiers with applications to non-definability
Authors
Ajtai
Andersson
+43 more
Barrington
Barrington
Bovet
Burtschick
Büchi
Büchi
Ebbinghaus
Fagin
Furst
Galota
Hella
Hesse
Håstad
Immerman
Jakub Szymanik
Juha Kontinen
Kontinen
Kontinen
Kontinen
Kontinen
Kontinen
Kontinen
Lindström
Lønning
More
Mostowski
Mostowski
Parberry
Peichl
Peters
Schlotterbeck
Smolensky
Stockmeyer
Szymanik
Szymanik
Szymanik
Torán
Trakhtenbrot
van der Does
Vollmer
Väänänen
Winter
Yao
Publication date
Publisher
'Elsevier BV'
Doi
Cite
Abstract
Abstract is not available.
Similar works
Full text
Available Versions
Crossref
See this paper in CORE
Go to the repository landing page
Download from data provider
info:doi/10.1016%2Fj.jcss.2014...
Last time updated on 01/04/2019