scientific article; zbMATH DE number 4114620

MaRDI QIDQ4729779zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1989

zbMATH Keywords

networksdeterminacyinfinite gamesBorel hierarchyfile systemsoperating systemsMartin's theorem

Mathematics Subject Classification ID

Game theory (91A99) Theory of operating systems (68N25) Determinacy principles (03E60)

Recommendations

• scientific article; zbMATH DE number 4114627
• scientific article; zbMATH DE number 5526845
• scientific article; zbMATH DE number 4037804
• Logic for computer scientists
• scientific article; zbMATH DE number 54163
• Logic for computer scientists
• Logic for computer scientists
• scientific article; zbMATH DE number 824081
• On the unusual effectiveness of logic in computer science

Cited in

(3)

• Effective strategies for enumeration games
• Definability in games
• scientific article; zbMATH DE number 1903345 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729779)