Abstract
We obtain several game characterizations of Baire 1 functions between Polish spaces X, Y which extends the recent result of V. Kiss. Then we propose similar characterizations for equi-Bare 1 families of functions. Also, using related ideas, we give game characterizations of Baire measurable and Lebesgue measurable functions.
Similar content being viewed by others
Notes
We would like to thank the reviewer for noting that this result was announced by Louveau and Semmes at a conference in 2010.
References
Alikhani-Koopaei, A.: Equi-Baire one family on metric spaces: a generalization of equi-continuity; and some applications. Topol. Appl. 277, 107170 (2020)
Andretta, A.: More on Wadge determinacy. Ann. Pure Appl. Logic 144, 2–32 (2006)
Aurichi, L.F., Dias, R.R.: A minicourse on topological games. Topol. Appl. 258, 305–335 (2018)
Bouziad, A.: The point of continuity property, neighbourhood assignments and filter convergences. Fund. Math. 218, 225–242 (2012)
Bukovský, L.: The Structure of the Real Line. Birkhäuser, Basel (2011)
Camerlo, R., Duparc, J.: Some remarks on Baire’s grand theorem. Arch. Math. Logic 57, 195–201 (2018)
Cao, J., Moors, W.B.: A survey on topological games and their applications in analysis, RACSAM Rev. R. Acad. Cien. Serie A. Mat. 100, 39–49 (2006)
Carroy, R.: Playing in the first Baire class. Math. Log. Q. 60, 118–132 (2014)
Duparc, J.: Wadge hierarchy and Veblen hierarchy I. Borel sets of finite rank. J. Symb. Logic 66, 56–86 (2001)
Elekes, M., Flesch, J., Kiss, V., Nagy, D., Poór, M., Predtetchinski, A.: Games characterizing limsup functions and Baire class 1 functions. J. Symb. Log. 87(4), 1459–1473 (2022)
Glasner, E., Megrelishvili, M.: Hereditarily non-sensitive dynamical systems and linear representations. Colloq. Math. 104, 223–283 (2006)
Gruenhage, G.: Infinite games and generalizations of first-countable spaces. Gen. Topol. Appl. 6, 339–352 (1976)
Gruenhage, G.: The story of a topological game. Rocky Mt. Math. J. 36, 1885–1914 (2006)
Kechris, A.S.: Classical Descriptive Set Theory. Springer, New York (1995)
Kiss, V.: A game characterizing Baire class 1 functions. J. Symb. Logic 85, 456–466 (2020)
Lecomte, D.: How can we recover Baire class one functions? Mathematika 50, 171–198 (2003)
Lee, P.Y., Tang, W.-K., Zhao, D.: An equivalent defnition of functions of the first Baire class. Proc. Amer. Math. Soc. 129, 2273–2275 (2001)
Motto Ros, L.: Game representations of classes of piecewise definable functions, MLQ Math. Log. Q. 57, 95–112 (2011)
Nobrega, H.: Games for Functions Baire classes, Weihrauch Degrees, Transfinite Computations, and Ranks, Ph.D. thesis, University of Amsterdam (2018)
Notaro, L.: A game for Baire’s grand theorem, preprint, arXiv:2301.11805
Oxtoby, J.C.: Measure and Category. Springer, New York (1980)
Semmes, B.: Games, Trees, and Borel Functions, Ph.D. thesis, University of Amsterdam, (2009)
Stone, A.H.: Lusin’s theorem. Atti Sem. Mat. Fis. Univ. Modena 44, 201–207 (1996)
Acknowledgements
We would like to thank the referee for several useful remarks that have helped us to improve the former version of the paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest, and add that there is no data associated with this work.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Balcerzak, M., Natkaniec, T. & Szuca, P. Games characterizing certain families of functions. Arch. Math. Logic (2024). https://doi.org/10.1007/s00153-024-00922-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00153-024-00922-9
Keywords
- Topological game
- Baire 1 functions
- Equi-Baire 1 families
- \(\varepsilon \)-Gauge
- Equi-continuity
- Measurable functions