Open AccessDefinability of second order generalized quantifiers
Author(s) -
Juha Kontinen
Publication year - 2010
Publication title -
archive for mathematical logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.618
H-Index - 32
eISSN - 1432-0665
pISSN - 0933-5846
DOI - 10.1007/s00153-010-0177-8
Subject(s) - mathematics , order (exchange) , algebra over a field , discrete mathematics , pure mathematics , economics , finance
We study second order generalized quantifiers on finite structures. One starting point of this research has been the notion of definability of Lindström quantifiers. We formulate an analogous notion for second order generalized quantifiers and study definability of second order generalized quantifiers in terms of Lindström quantifiers.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom