Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016122306> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2016122306 endingPage "32" @default.
- W2016122306 startingPage "1" @default.
- W2016122306 abstract "We consider the expressive power of second-order generalized quantifiers on finite structures, especially with respect to the types of the quantifiers. We show that on finite structures with at most binary relations, there are very powerful second-order generalized quantifiers, even of the simplest possible type. More precisely, if a logic L is countable and satisfies some weak closure conditions, then there is a generalized second-order quantifier Q which is monadic, unary and simple (i.e. of the same type as monadic second-order ∃ ), and a uniformly obtained sublogic of FO ( Q ) which is equivalent to L . We show some other results of the above kind, relating other classes of quantifiers to other classes of structures. For example, if the quantifiers are of the simplest non-monadic type, then the result extends to finite structures of any arity. We further show that there are second-order generalized quantifiers which do not increase expressive power of first-order logic but do increase the power significantly when added to stronger logics." @default.
- W2016122306 created "2016-06-24" @default.
- W2016122306 creator A5059240656 @default.
- W2016122306 date "2002-06-01" @default.
- W2016122306 modified "2023-09-30" @default.
- W2016122306 title "On second-order generalized quantifiers and finite structures" @default.
- W2016122306 cites W1993953362 @default.
- W2016122306 cites W2076662767 @default.
- W2016122306 cites W2159337272 @default.
- W2016122306 cites W2954301182 @default.
- W2016122306 doi "https://doi.org/10.1016/s0168-0072(01)00082-3" @default.
- W2016122306 hasPublicationYear "2002" @default.
- W2016122306 type Work @default.
- W2016122306 sameAs 2016122306 @default.
- W2016122306 citedByCount "11" @default.
- W2016122306 countsByYear W20161223062014 @default.
- W2016122306 countsByYear W20161223062015 @default.
- W2016122306 countsByYear W20161223062016 @default.
- W2016122306 countsByYear W20161223062019 @default.
- W2016122306 countsByYear W20161223062021 @default.
- W2016122306 crossrefType "journal-article" @default.
- W2016122306 hasAuthorship W2016122306A5059240656 @default.
- W2016122306 hasBestOaLocation W20161223061 @default.
- W2016122306 hasConcept C10138342 @default.
- W2016122306 hasConcept C102993220 @default.
- W2016122306 hasConcept C110546421 @default.
- W2016122306 hasConcept C110729354 @default.
- W2016122306 hasConcept C111472728 @default.
- W2016122306 hasConcept C118615104 @default.
- W2016122306 hasConcept C124656256 @default.
- W2016122306 hasConcept C128896722 @default.
- W2016122306 hasConcept C138885662 @default.
- W2016122306 hasConcept C138890893 @default.
- W2016122306 hasConcept C144791301 @default.
- W2016122306 hasConcept C146834321 @default.
- W2016122306 hasConcept C154945302 @default.
- W2016122306 hasConcept C162324750 @default.
- W2016122306 hasConcept C169896238 @default.
- W2016122306 hasConcept C182306322 @default.
- W2016122306 hasConcept C18903297 @default.
- W2016122306 hasConcept C195818886 @default.
- W2016122306 hasConcept C2777299769 @default.
- W2016122306 hasConcept C2778523021 @default.
- W2016122306 hasConcept C2780586882 @default.
- W2016122306 hasConcept C32278780 @default.
- W2016122306 hasConcept C33923547 @default.
- W2016122306 hasConcept C34447519 @default.
- W2016122306 hasConcept C41008148 @default.
- W2016122306 hasConcept C78023250 @default.
- W2016122306 hasConcept C80444323 @default.
- W2016122306 hasConcept C86803240 @default.
- W2016122306 hasConceptScore W2016122306C10138342 @default.
- W2016122306 hasConceptScore W2016122306C102993220 @default.
- W2016122306 hasConceptScore W2016122306C110546421 @default.
- W2016122306 hasConceptScore W2016122306C110729354 @default.
- W2016122306 hasConceptScore W2016122306C111472728 @default.
- W2016122306 hasConceptScore W2016122306C118615104 @default.
- W2016122306 hasConceptScore W2016122306C124656256 @default.
- W2016122306 hasConceptScore W2016122306C128896722 @default.
- W2016122306 hasConceptScore W2016122306C138885662 @default.
- W2016122306 hasConceptScore W2016122306C138890893 @default.
- W2016122306 hasConceptScore W2016122306C144791301 @default.
- W2016122306 hasConceptScore W2016122306C146834321 @default.
- W2016122306 hasConceptScore W2016122306C154945302 @default.
- W2016122306 hasConceptScore W2016122306C162324750 @default.
- W2016122306 hasConceptScore W2016122306C169896238 @default.
- W2016122306 hasConceptScore W2016122306C182306322 @default.
- W2016122306 hasConceptScore W2016122306C18903297 @default.
- W2016122306 hasConceptScore W2016122306C195818886 @default.
- W2016122306 hasConceptScore W2016122306C2777299769 @default.
- W2016122306 hasConceptScore W2016122306C2778523021 @default.
- W2016122306 hasConceptScore W2016122306C2780586882 @default.
- W2016122306 hasConceptScore W2016122306C32278780 @default.
- W2016122306 hasConceptScore W2016122306C33923547 @default.
- W2016122306 hasConceptScore W2016122306C34447519 @default.
- W2016122306 hasConceptScore W2016122306C41008148 @default.
- W2016122306 hasConceptScore W2016122306C78023250 @default.
- W2016122306 hasConceptScore W2016122306C80444323 @default.
- W2016122306 hasConceptScore W2016122306C86803240 @default.
- W2016122306 hasIssue "1-3" @default.
- W2016122306 hasLocation W20161223061 @default.
- W2016122306 hasOpenAccess W2016122306 @default.
- W2016122306 hasPrimaryLocation W20161223061 @default.
- W2016122306 hasRelatedWork W1506160289 @default.
- W2016122306 hasRelatedWork W1607580303 @default.
- W2016122306 hasRelatedWork W1963127161 @default.
- W2016122306 hasRelatedWork W2016122306 @default.
- W2016122306 hasRelatedWork W2039822084 @default.
- W2016122306 hasRelatedWork W2063991224 @default.
- W2016122306 hasRelatedWork W2149816638 @default.
- W2016122306 hasRelatedWork W2796480194 @default.
- W2016122306 hasRelatedWork W2963351616 @default.
- W2016122306 hasRelatedWork W2583825190 @default.
- W2016122306 hasVolume "115" @default.
- W2016122306 isParatext "false" @default.
- W2016122306 isRetracted "false" @default.
- W2016122306 magId "2016122306" @default.
- W2016122306 workType "article" @default.