Baire spaces, $G_\delta$'s, and directed complete spaces
Keywords:
Baire space, alpha-favorable, Banach-Mazur game, Choquet game, Gdelta, subcompact, directed completeAbstract
We discuss the proof of the Baire Category Theorem. We review Cech-completeness, pseudocompleteness, and various forms of $\alpha$-favorability. We present recent results about subcompactness, directed completeness, the Banach-Mazur game, and the strong Choquet game. A recurring theme is whether a completeness property is inherited by $G_\delta$ subspaces. We prove that the class of regular directed complete spaces is exactly the class of $G_\delta$ subspaces of subcompact spaces.
References
J. Aarts and D. Lutzer, Completeness Properties designed for Recognizing Baire Spaces, Dissertationes Mathematicae 116 (1974), 1-45.
J. Bąk and A. Kucharski, The Banach-Mazur game and the Choquet game in domain theory, Arch. Math. 114 (2020), 51-59.
T. Bartoszynski, W. Just, and M. Scheepers, Covering games and the BanachMazur game: $k$-tactics, Canadian Journal of Mathematics 45 (1993), 897-929.
H. Bennett and D. Lutzer, Domain representable spaces, Fundamenta Math., 189 (2006), 255-268.
H. Bennett and D. Lutzer, Domain-representability of certain complete spaces, Houston Journal of Mathematics, 34 (2008), 753-772.
H. Bennett and D. Lutzer, Strong Completeness Properties in Topology, Q & A in General Topology 27 (2009), 107-124.
W. Brian, A. Dow, D. Milovich, and L. Yengulalp, Telgarsky's Conjecture may fail, to appear in the Israeli Journal of Mathematics.
E. Crech, On bicompact spaces, Ann. Math. 39 (1937), 823-844.
G. Choquet, in: Lectures in Analysis, Vol. I, Benjamin, New York, 1969.
K. Császár, Generalized Cech-complete spaces, Ann. Univ. Sci. Budapest, Eötvös Sect. Math. 25 (1982), 229-238.
G. Debs, Strategies et tactiques dans le jeu de Choquet, Seminaire Initiation a l'Analyse (ed : G. Choquet, M. Rogalski, J. Saint Raymond), 28 (1983-1984), 7-01-7-05.
G. Debs, Strategies gagnantes dans certains jeux topologiques, Fundamenta Math. 126 (1985), 93-105.
A. Dow and J. Porter, Embedding in $R$-closed spaces, Topology and its Applications, 15 (1983), 45-58.
R. Engelking, General Topology, Revised and completed edition, Heldermann, Berlin, 1989.
W. Fleissner and K. Kunen, Barely Baire spaces, Fund. Math. 101 (1979), 229240.
W. Fleissner, V. Tkachuk, and L. Yengulalp, Every scattered space is subcompact, Topology and its Applications 160 (2013), 1305-1312.
W. Fleissner and L. Yengulalp, When $C p(X)$ is Domain Representable, Fundamenta Mathematicae 223 (2013), no. 1, 65-81.
W. Fleissner and L. Yengulalp, From subcompact to domain representable, Topology and its Applications 195 (2015), 174-195.
F. Galvin and R. Telgarsky, Stationary strategies in Topological Games, Topology and its Applications 22 (1986), 51-69.
J. de Groot, Subcompactness and the Baire Category Theorem, Indag. Math. 22 (1963), 761-767.
A. Kechris, Classical descriptive set theory, SpringerVerlag, Berlin, 1987.
D. Lutzer and R. McCoy, Category in function spaces, I. Pacific J. Math. 90 (1980), no. 1, 145-168.
D. Lutzer, J. van Mill and V. Tkachuk, Amsterdam properties of $C p(X)$ imply discreteness of $X$, Canadian Math. Bulletin 51 (2008), 570-578.
K. Martin, Topological games in domain theory, Topology and its Applications 129 (2003), 177-186.
D. McNeill, $H$-closed extensions with countable remainder, Comment. Math. Univ. Carolin. 53, 1 (2012), 123-137.
J. van Mill and V. Tkachuk, Every $k$-separable Cech-complete space is subcompact, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Series A Matemáticas 109 (2015), 65-71.
J. Niknejad, V.Tkachuk, and L. Yengulalp, Polish factorizations, cosmic spaces and domain representability, Bull. Belg. Math. Soc. 25 (3) (2018), 439-452.
J. Oxtoby, The Banach-Mazur game and Banach Category Theorem, Contributions to the theory of games, vol. 3, Annals of Mathematics Studies, no. 39, Princeton University Press, Princeton, N. J., 1957, pp. 159-163.
J. Oxtoby, Cartesian products of Baire spaces, Fundamenta Math. 49 (1961), 157166.
S. Önal, S. Soyarslan, Ç Vural, On generalizations of topological games, Topology and its Applications 258 (2019), 524-533.
S. Önal, S. Soyarslan, Ç Vural, On the strategies for NONEMPTY in topological games, Topology and its Applications 278 (2020), 107236.
S. Önal and Ç. Vural, Every monotonically normal Ċech-complete space is subcompact, Topology and its Applications 176 (2014), 35-42.
S. Önal and Ç. Vural, Domain representability of retracts, Topology and its Applications 194 (2015), 1-3.
S. Önal and Ç. Vural, There is no domain representable dense proper subsemigroup of a topological group, Topology and its Applications 216 (2017), 79-84.
S. Önal and Ç. Vural, Some New Completeness Properties in Topological Spaces, Topology Conference University of Dayton (2017).
M. Scheepers, Games which involve set theory or topology, Vietnam J. Math. 23 (1995), 169-220.
D. Soukup and L. Soukup, Infnite combinatorics plain and simple, Jour. Symb. Logic 83(3) (2018), 1247-1281.
R. Telgarsky, Topological games: on the fiftieth anniversary of the Banach-Mazur game, Rocky Mountain J. Math. 17(2) (1987), 227-276.
V. Tkachuk, Domain representable Lindelöf spaces are cofinally Polish, Studia Sci. Math. Hungarica 56(4) (2019), 523-535.
L. Yengulalp, Coding strategies, the Choquet game and domain representability, Topology and its Applications 202, 1 (April 2016), Pages 384-396.