Abstrakt. Vi undersöker determinacy av fördröjningsspel med Borel vinnande villkor, oändlig varaktighet två spelare spel där en spelare kan fördröja hennes rörelser för att få en lookahead på hennes motståndares drag. För det första visar vi beslutsamhet i sådana spel med avseende på en fast utveckling av lookahead. Strategier i sådana spel kan dock bero på information om utvecklingen. Således introducerar vi olika begrepp av universella strategier för båda spelarna, som är utvecklingsoberoende, och bestämma den exakta mängden information en universell strategi behöver om historien om en pjäs och utvecklingen av lookahead för att vinna. I synnerhet visar vi att försena spel med Borel vinnande villkor bestäms med avseende på universella strategier. Slutligen anser vi att decisionability problem, t.ex., "Har en spelare en universell vinnande strategi för fördröjning spel med ett givet vinnande villkor?", för oregelbundna och icke-kontextfria vinstvillkor.
Slutligen, alla fördröjningsspel med Borel vinnande villkor bestäms REF, som visades av en minskning till fördröjningsfria spel som bevarar Borelness av det vinnande tillståndet.
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}