Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912942225> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2912942225 endingPage "16" @default.
- W2912942225 startingPage "16" @default.
- W2912942225 abstract "We study existential and universal quantification over quantifiers, i.e. quantification where the objects quantified over are Lindstrom quantifiers. First we consider the fragment where only existential quantification over quantifiers is allowed, denoted ΣQ1. We show that ΣQ1 includes inflationary fixed-point logic extended with the ability to express that two defined structures are non-isomorphic, and that ΣQ1 is included in existential second-order logic with the same extension. The logic ΣQn is defined as the fragment where we alternate existential and universal quantification for n levels. We show that ΣQn+1 is included in the n-th level of the complexity theoretical exponential hierarchy. We also show that there is a hierarchy on the arity of the quantifier variables, by showing that no fragment of ΣQn with restricted arity of the quantifiers can express all ΣQ1 properties." @default.
- W2912942225 created "2019-02-21" @default.
- W2912942225 creator A5078573449 @default.
- W2912942225 date "2003-09-01" @default.
- W2912942225 modified "2023-09-24" @default.
- W2912942225 title "Quantifying over Quantifiers" @default.
- W2912942225 doi "https://doi.org/10.1016/s1571-0661(04)80839-9" @default.
- W2912942225 hasPublicationYear "2003" @default.
- W2912942225 type Work @default.
- W2912942225 sameAs 2912942225 @default.
- W2912942225 citedByCount "0" @default.
- W2912942225 crossrefType "journal-article" @default.
- W2912942225 hasAuthorship W2912942225A5078573449 @default.
- W2912942225 hasBestOaLocation W29129422251 @default.
- W2912942225 hasConcept C110546421 @default.
- W2912942225 hasConcept C111472728 @default.
- W2912942225 hasConcept C11413529 @default.
- W2912942225 hasConcept C118615104 @default.
- W2912942225 hasConcept C127882523 @default.
- W2912942225 hasConcept C136119220 @default.
- W2912942225 hasConcept C138885662 @default.
- W2912942225 hasConcept C154945302 @default.
- W2912942225 hasConcept C162324750 @default.
- W2912942225 hasConcept C199360897 @default.
- W2912942225 hasConcept C202444582 @default.
- W2912942225 hasConcept C2776235265 @default.
- W2912942225 hasConcept C2778029271 @default.
- W2912942225 hasConcept C2778523021 @default.
- W2912942225 hasConcept C31170391 @default.
- W2912942225 hasConcept C33923547 @default.
- W2912942225 hasConcept C34447519 @default.
- W2912942225 hasConcept C41008148 @default.
- W2912942225 hasConceptScore W2912942225C110546421 @default.
- W2912942225 hasConceptScore W2912942225C111472728 @default.
- W2912942225 hasConceptScore W2912942225C11413529 @default.
- W2912942225 hasConceptScore W2912942225C118615104 @default.
- W2912942225 hasConceptScore W2912942225C127882523 @default.
- W2912942225 hasConceptScore W2912942225C136119220 @default.
- W2912942225 hasConceptScore W2912942225C138885662 @default.
- W2912942225 hasConceptScore W2912942225C154945302 @default.
- W2912942225 hasConceptScore W2912942225C162324750 @default.
- W2912942225 hasConceptScore W2912942225C199360897 @default.
- W2912942225 hasConceptScore W2912942225C202444582 @default.
- W2912942225 hasConceptScore W2912942225C2776235265 @default.
- W2912942225 hasConceptScore W2912942225C2778029271 @default.
- W2912942225 hasConceptScore W2912942225C2778523021 @default.
- W2912942225 hasConceptScore W2912942225C31170391 @default.
- W2912942225 hasConceptScore W2912942225C33923547 @default.
- W2912942225 hasConceptScore W2912942225C34447519 @default.
- W2912942225 hasConceptScore W2912942225C41008148 @default.
- W2912942225 hasLocation W29129422251 @default.
- W2912942225 hasOpenAccess W2912942225 @default.
- W2912942225 hasPrimaryLocation W29129422251 @default.
- W2912942225 hasRelatedWork W1483892218 @default.
- W2912942225 hasRelatedWork W1996177377 @default.
- W2912942225 hasRelatedWork W2009215498 @default.
- W2912942225 hasRelatedWork W2247583629 @default.
- W2912942225 hasRelatedWork W2803425303 @default.
- W2912942225 hasRelatedWork W2912942225 @default.
- W2912942225 hasRelatedWork W2951261477 @default.
- W2912942225 hasRelatedWork W3102630320 @default.
- W2912942225 hasRelatedWork W3102787008 @default.
- W2912942225 hasRelatedWork W2303005335 @default.
- W2912942225 hasVolume "84" @default.
- W2912942225 isParatext "false" @default.
- W2912942225 isRetracted "false" @default.
- W2912942225 magId "2912942225" @default.
- W2912942225 workType "article" @default.