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

doi:10.1017/jsl.2022.29

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 journal › Article › Academic › peer-review

Abstract

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 language	English
Pages (from-to)	1459-1473
Number of pages	15
Journal	Journal of Symbolic Logic
Volume	87
Issue number	4
DOIs	https://doi.org/10.1017/jsl.2022.29
Publication status	Published - Dec 2022

Keywords

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

Access to Document

10.1017/jsl.2022.29Licence: CC BY

Cite this

@article{47d6e08e8a424811b38fc451b043cb23,

title = "Games characterizing limsup functions and Baire class 1 functions",

abstract = "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.",

keywords = "game, winning strategy, determinacy, analytic set, Baire class 1 function, Cantor set, meager set",

author = "M{\'a}rton Elekes and Janos Flesch and Viktor Kiss and Don{\'a}t Nagy and M{\'a}rk Po{\'o}r and Arkadi Predtetchinski",

note = "data source: no data used",

year = "2022",

month = dec,

doi = "10.1017/jsl.2022.29",

language = "English",

volume = "87",

pages = "1459--1473",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "4",

}

TY - JOUR

T1 - Games characterizing limsup functions and Baire class 1 functions

AU - Elekes, Márton

AU - Flesch, Janos

AU - Kiss, Viktor

AU - Nagy, Donát

AU - Poór, Márk

AU - Predtetchinski, Arkadi

N1 - data source: no data used

PY - 2022/12

Y1 - 2022/12

N2 - 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.

AB - 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.

KW - game

KW - winning strategy

KW - determinacy

KW - analytic set

KW - Baire class 1 function

KW - Cantor set

KW - meager set

U2 - 10.1017/jsl.2022.29

DO - 10.1017/jsl.2022.29

M3 - Article

SN - 0022-4812

VL - 87

SP - 1459

EP - 1473

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -