Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051012354> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2051012354 endingPage "798" @default.
- W2051012354 startingPage "779" @default.
- W2051012354 abstract "A combinatorial argument for two finite structures to agree on all sentences with bounded quantifier rank in first-order logic with any set of unary generalized quantifiers is given. It is known that connectivity of finite structures is neither in monadic Σ11 nor in ≲ww (Qu), where Qu is the set of all unary generalized quantifiers. Using this combinatorial argument and a combination of second-order Ehrenfeucht-Fraïssé games developed by Ajtai and Fagin, we prove that connectivity of finite structures is not in monadic σ11 with any set of unary quantifiers even if sentences are allowed to contain built-in relations of moderate degree. The combinatorial argument is also used to show that no class (if it is not in some sense trivial) of finite graphs defined by forbidden minors is in ≲ww(Qu). In particular, the class of planar graphs is not in ≲ww(Qu)" @default.
- W2051012354 created "2016-06-24" @default.
- W2051012354 creator A5036437813 @default.
- W2051012354 date "1996-12-01" @default.
- W2051012354 modified "2023-09-25" @default.
- W2051012354 title "On winning strategies with unary quantifiers" @default.
- W2051012354 doi "https://doi.org/10.1093/logcom/6.6.779" @default.
- W2051012354 hasPublicationYear "1996" @default.
- W2051012354 type Work @default.
- W2051012354 sameAs 2051012354 @default.
- W2051012354 citedByCount "33" @default.
- W2051012354 countsByYear W20510123542013 @default.
- W2051012354 countsByYear W20510123542020 @default.
- W2051012354 crossrefType "journal-article" @default.
- W2051012354 hasAuthorship W2051012354A5036437813 @default.
- W2051012354 hasConcept C10138342 @default.
- W2051012354 hasConcept C114614502 @default.
- W2051012354 hasConcept C118615104 @default.
- W2051012354 hasConcept C134306372 @default.
- W2051012354 hasConcept C154945302 @default.
- W2051012354 hasConcept C162324750 @default.
- W2051012354 hasConcept C162392398 @default.
- W2051012354 hasConcept C177264268 @default.
- W2051012354 hasConcept C182306322 @default.
- W2051012354 hasConcept C185592680 @default.
- W2051012354 hasConcept C199360897 @default.
- W2051012354 hasConcept C2777212361 @default.
- W2051012354 hasConcept C2778523021 @default.
- W2051012354 hasConcept C33923547 @default.
- W2051012354 hasConcept C34388435 @default.
- W2051012354 hasConcept C41008148 @default.
- W2051012354 hasConcept C55493867 @default.
- W2051012354 hasConcept C78023250 @default.
- W2051012354 hasConcept C98184364 @default.
- W2051012354 hasConceptScore W2051012354C10138342 @default.
- W2051012354 hasConceptScore W2051012354C114614502 @default.
- W2051012354 hasConceptScore W2051012354C118615104 @default.
- W2051012354 hasConceptScore W2051012354C134306372 @default.
- W2051012354 hasConceptScore W2051012354C154945302 @default.
- W2051012354 hasConceptScore W2051012354C162324750 @default.
- W2051012354 hasConceptScore W2051012354C162392398 @default.
- W2051012354 hasConceptScore W2051012354C177264268 @default.
- W2051012354 hasConceptScore W2051012354C182306322 @default.
- W2051012354 hasConceptScore W2051012354C185592680 @default.
- W2051012354 hasConceptScore W2051012354C199360897 @default.
- W2051012354 hasConceptScore W2051012354C2777212361 @default.
- W2051012354 hasConceptScore W2051012354C2778523021 @default.
- W2051012354 hasConceptScore W2051012354C33923547 @default.
- W2051012354 hasConceptScore W2051012354C34388435 @default.
- W2051012354 hasConceptScore W2051012354C41008148 @default.
- W2051012354 hasConceptScore W2051012354C55493867 @default.
- W2051012354 hasConceptScore W2051012354C78023250 @default.
- W2051012354 hasConceptScore W2051012354C98184364 @default.
- W2051012354 hasIssue "6" @default.
- W2051012354 hasLocation W20510123541 @default.
- W2051012354 hasOpenAccess W2051012354 @default.
- W2051012354 hasPrimaryLocation W20510123541 @default.
- W2051012354 hasRelatedWork W104379926 @default.
- W2051012354 hasRelatedWork W1978402756 @default.
- W2051012354 hasRelatedWork W2148351559 @default.
- W2051012354 hasRelatedWork W2325500145 @default.
- W2051012354 hasRelatedWork W2348093013 @default.
- W2051012354 hasRelatedWork W2389468720 @default.
- W2051012354 hasRelatedWork W3135594367 @default.
- W2051012354 hasRelatedWork W3140454877 @default.
- W2051012354 hasRelatedWork W3193574081 @default.
- W2051012354 hasRelatedWork W3174155805 @default.
- W2051012354 hasVolume "6" @default.
- W2051012354 isParatext "false" @default.
- W2051012354 isRetracted "false" @default.
- W2051012354 magId "2051012354" @default.
- W2051012354 workType "article" @default.