FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011723563> ?p ?o ?g. }

• W2011723563 endingPage "625" @default.
• W2011723563 startingPage "625" @default.
• W2011723563 abstract "We prove that the determinacy of Gale–Stewart games whose winning sets are infinitary rational relations accepted by 2-tape Büchi automata is equivalent to the determinacy of (effective) analytic Gale–Stewart games which is known to be a large cardinal assumption. Then we prove that winning strategies, when they exist, can be very complex, i.e. highly non-effective, in these games. We prove the same results for Gale–Stewart games with winning sets accepted by real-time 1-counter Büchi automata, then extending previous results obtained about these games.1.There exists a 2-tape Büchi automaton (respectively, a real-time 1-counter Büchi automaton) A such that: (a) there is a model of ZFC in which Player 1 has a winning strategy σ in the game G(L(A)) but σ cannot be recursive and not even in the class (Σ21∪Π21); (b) there is a model of ZFC in which the game G(L(A)) is not determined.2.There exists a 2-tape Büchi automaton (respectively, a real-time 1-counter Büchi automaton) A such that L(A) is an arithmetical Δ30-set and Player 2 has a winning strategy in the game G(L(A)) but has no hyperarithmetical winning strategies in this game.3.There exists a recursive sequence of 2-tape Büchi automata (respectively, of real-time 1-counter Büchi automata) An, n≥1, such that all games G(L(An)) are determined, but for which it is Π21-complete hence highly undecidable to determine whether Player 1 has a winning strategy in the game G(L(An)). Then we consider the strengths of determinacy for these games, and we prove the following results.1.There exists a 2-tape Büchi automaton (respectively, a real-time 1-counter Büchi automaton) A♯ such that the game G(A♯) is determined iff the effective analytic determinacy holds.2.There is a transfinite sequence of 2-tape Büchi automata (respectively, of real-time 1-counter Büchi automata) (Aα)α<ω1CK, indexed by recursive ordinals, such that the games G(L(Aα)) have strictly increasing strengths of determinacy. We also show that the determinacy of Wadge games between two players in charge of infinitary rational relations accepted by 2-tape Büchi automata is equivalent to the (effective) analytic Wadge determinacy and thus also equivalent to the (effective) analytic determinacy." @default.
• W2011723563 created "2016-06-24" @default.
• W2011723563 creator A5038352779 @default.
• W2011723563 date "2004-06-01" @default.
• W2011723563 modified "2023-09-23" @default.
• W2011723563 title "133-THE PRISM-R: A PILOT-STUDY AMONG DIFFERENT PATIENT GROUPS" @default.
• W2011723563 doi "https://doi.org/10.1016/j.jpsychores.2004.04.207" @default.
• W2011723563 hasPublicationYear "2004" @default.
• W2011723563 type Work @default.
• W2011723563 sameAs 2011723563 @default.
• W2011723563 citedByCount "1" @default.
• W2011723563 crossrefType "journal-article" @default.
• W2011723563 hasAuthorship W2011723563A5038352779 @default.
• W2011723563 hasConcept C102234262 @default.
• W2011723563 hasConcept C112505250 @default.
• W2011723563 hasConcept C114614502 @default.
• W2011723563 hasConcept C118615104 @default.
• W2011723563 hasConcept C134306372 @default.
• W2011723563 hasConcept C144237770 @default.
• W2011723563 hasConcept C154945302 @default.
• W2011723563 hasConcept C177142836 @default.
• W2011723563 hasConcept C202556891 @default.
• W2011723563 hasConcept C2777212361 @default.
• W2011723563 hasConcept C33923547 @default.
• W2011723563 hasConcept C41008148 @default.
• W2011723563 hasConcept C58468513 @default.
• W2011723563 hasConcept C80444323 @default.
• W2011723563 hasConcept C94020503 @default.
• W2011723563 hasConcept C94375191 @default.
• W2011723563 hasConceptScore W2011723563C102234262 @default.
• W2011723563 hasConceptScore W2011723563C112505250 @default.
• W2011723563 hasConceptScore W2011723563C114614502 @default.
• W2011723563 hasConceptScore W2011723563C118615104 @default.
• W2011723563 hasConceptScore W2011723563C134306372 @default.
• W2011723563 hasConceptScore W2011723563C144237770 @default.
• W2011723563 hasConceptScore W2011723563C154945302 @default.
• W2011723563 hasConceptScore W2011723563C177142836 @default.
• W2011723563 hasConceptScore W2011723563C202556891 @default.
• W2011723563 hasConceptScore W2011723563C2777212361 @default.
• W2011723563 hasConceptScore W2011723563C33923547 @default.
• W2011723563 hasConceptScore W2011723563C41008148 @default.
• W2011723563 hasConceptScore W2011723563C58468513 @default.
• W2011723563 hasConceptScore W2011723563C80444323 @default.
• W2011723563 hasConceptScore W2011723563C94020503 @default.
• W2011723563 hasConceptScore W2011723563C94375191 @default.
• W2011723563 hasIssue "6" @default.
• W2011723563 hasLocation W20117235631 @default.
• W2011723563 hasOpenAccess W2011723563 @default.
• W2011723563 hasPrimaryLocation W20117235631 @default.
• W2011723563 hasRelatedWork W1742631447 @default.
• W2011723563 hasRelatedWork W2000924970 @default.
• W2011723563 hasRelatedWork W2016922128 @default.
• W2011723563 hasRelatedWork W2059837071 @default.
• W2011723563 hasRelatedWork W2136891613 @default.
• W2011723563 hasRelatedWork W2212471609 @default.
• W2011723563 hasRelatedWork W2593461000 @default.
• W2011723563 hasRelatedWork W3140454877 @default.
• W2011723563 hasRelatedWork W4298191502 @default.
• W2011723563 hasRelatedWork W4322588790 @default.
• W2011723563 hasVolume "56" @default.
• W2011723563 isParatext "false" @default.
• W2011723563 isRetracted "false" @default.
• W2011723563 magId "2011723563" @default.
• W2011723563 workType "article" @default.