On Borel subsets of generalized Baire spaces
Logic
2025-11-04 v2
Abstract
We develop Descriptive Set Theory in Generalized Baire Spaces without assuming . We point out that without this assumption the basic topological concepts of these spaces have to be slightly modified in order to obtain a meaningful theory. This modification has no effect if . After developing the basic theory we apply it to the question whether the orbits of models of a fixed cardinality in the space are -Borel in our generalized sense. It turns out that this question depends, as is the case when , on stability theoretic properties (structure vs. non-structure) of the first order theory of the model.
Cite
@article{arxiv.2507.15427,
title = {On Borel subsets of generalized Baire spaces},
author = {Tapani Hyttinen and Miguel Moreno and Jouko Väänänen},
journal= {arXiv preprint arXiv:2507.15427},
year = {2025}
}