THE BANACH-MAZUR GAME
L R Lisagor · Mathematics of the USSR-Sbornik · 1981
The Banach-Mazur game is investigated on the set of all general recursive functions. The concept of the category of a set of general recursive functions is introduced. This concept is used to formulate and prove necessary and sufficient conditions for the existence of a winning strategy for one of the players in the Banach-Mazur game, the conditions in question being analogous to the theorems of Banach for the Banach-Mazur game on the set of real numbers. The concept of the measure of a set of general recursive functions is also introduced, and the relationship between this concept and the one of category is given. Bibliography: 8 titles.