Games characterizing limsup functions and Baire class 1 functions

Márton Elekes*, Janos Flesch, Viktor Kiss, Donát Nagy, Márk Poór, Arkadi Predtetchinski

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review


We consider a real-valued function f defined on the set of infinite branches X of a countably branching pruned tree T. The function f is said to be a limsup function if there is a function such that for each . We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1.
Original languageEnglish
Pages (from-to)1459-1473
Number of pages15
JournalJournal of Symbolic Logic
Issue number4
Publication statusPublished - Dec 2022


  • game
  • winning strategy
  • determinacy
  • analytic set
  • Baire class 1 function
  • Cantor set
  • meager set


Dive into the research topics of 'Games characterizing limsup functions and Baire class 1 functions'. Together they form a unique fingerprint.

Cite this