A Note on Automatic Baire Property
Abstract
Automatic Baire property is a variant of the usual Baire property which is fulfilled for subsets of the Cantor space accepted by finite automata. We consider the family [Formula: see text] of all subsets of the Cantor space having the Automatic Baire property. In particular we show that not all finite subsets have the Automatic Baire property, and that already a slight increase of the computational power of the accepting device may lead beyond the class [Formula: see text].
Fields of Study & Subjects
Computability
Logic
AI Algorithms
semigroups and automata theory
Advanced Topology and Set Theory
Publication details
- Journal / source
- International Journal of Foundations of Computer Science
- Pages
- 1–8
- Publication date
- 14 February 2026
- Language
- EN