An effectivized Banach-Mazur game is claimed to characterize effective first category sets and to prove an effective category version of Poincaré recurrence.
Title resolution pending
1 Pith paper cite this work, alongside 90 external citations. Polarity classification is still indexing.
1
Pith paper citing it
90
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
math.LO 1years
2025 1verdicts
REJECT 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
On Effective Banach-Mazur Games and an application to the Poincar\'e Recurrence Theorem for Category
An effectivized Banach-Mazur game is claimed to characterize effective first category sets and to prove an effective category version of Poincaré recurrence.