Abstrakt. Fördröj spel är två spelare spel av oändlig varaktighet där en spelare kan fördröja hennes rörelser för att få en lookahead på hennes motståndares drag. Vi överväger att fördröja spel med vinnande villkor uttryckt i svag monadisk andra ordning logik med den obegränsade kvantifier (WMSO + U), som kan uttrycka (o)boundedness egenskaper. Det är decidable om den fördröjande spelaren kan vinna ett sådant spel med avgränsade lookahead, dvs., om hon bara hoppar över ett begränsat antal drag. Dock är begränsad lookahead inte alltid tillräckligt: vi presenterar ett spel som kan vinnas med obegränsad lookahead, men inte med begränsad lookahead. Sedan anser vi WMSO + U fördröja spel med obegränsad lookahead och visa att den exakta utvecklingen av lookahead är irrelevant: vinnaren är alltid samma, så länge den ursprungliga lookahead är tillräckligt stor och lookahead tenderar till oändlighet.
Men om den fördröjande spelaren vinner ett sådant spel, då vinner hon oavsett hur långsamt lookahead växer REF.
Unbounded Lookahead in WMSO+U Games
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}