On Borel subsets of generalized Baire spaces

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.