English

On Borel subsets of generalized Baire spaces

Logic 2025-11-04 v2

Abstract

We develop Descriptive Set Theory in Generalized Baire Spaces without assuming κ<κ=κ\kappa^{<\kappa}=\kappa. 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 κ<κ=κ\kappa^{<\kappa}=\kappa. After developing the basic theory we apply it to the question whether the orbits of models of a fixed cardinality κ\kappa in the space κκ\kappa^\kappa are κ\kappa-Borel in our generalized sense. It turns out that this question depends, as is the case when κ<κ=κ\kappa^{<\kappa}=\kappa, on stability theoretic properties (structure vs. non-structure) of the first order theory of the model.

Keywords

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}
}
R2 v1 2026-07-01T04:10:52.983Z