Complexity of Winning Strategies for Δ 0 2 Games

DOI10.2307/2159721zbMath0769.03030OpenAlexW4243181102MaRDI QIDQ4032525

Rana Barua

Publication date: 1 April 1993

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2159721

zbMATH Keywords

winning strategyrecursion in higher typesdefinable games on omegatotal type 2-object

Mathematics Subject Classification ID

Descriptive set theory (03E15) Higher-type and set recursion theory (03D65)

This page was built for publication: Complexity of Winning Strategies for Δ 0 2 Games