Generalized Baire Spaces

• Generalized Baire spaces are uncountable analogues of classical Baire spaces defined for regular uncountable cardinals, supporting a rich framework in descriptive set theory.
• They employ varied topologies—such as the bounded, initial-segment, or product topology—to facilitate forcing, tree representations, and game-theoretic characterizations.
• Studies of these spaces reveal intricate Borel hierarchies, regularity properties, and combinatorial invariants that inform both theoretical and applied aspects of higher set theory.

Generalized Baire spaces are uncountable analogues of the classical Baire space and generalized Cantor space. For a regular uncountable cardinal $\kappa$, the central examples are

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$

viewed as topological spaces in ways that support generalized descriptive set theory, forcing, classification theory, and the study of regularity properties (Hyttinen et al., 21 Jul 2025). A basic structural feature of the subject is that the choice of topology is not merely conventional: on $\kappa^\kappa$ one often uses the bounded or initial-segment topology, while on $2^\kappa$ some forcing-theoretic constructions require the product topology generated by finite partial functions, and without assumptions such as $\kappa^{<\kappa}=\kappa$ even the definition of “basic open” must be adjusted to obtain a workable Borel theory (Ikegami et al., 2024).

1. Topological frameworks and ambient spaces

The standard generalized Baire space in much of the literature is ${}^\kappa\kappa$ with the bounded topology generated by

$N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$

for $s\in{}^{<\kappa}\kappa$, or more generally by partial functions of size $<\kappa$ (Luecke et al., 2015). Under the familiar hypothesis $\kappa^{<\kappa}=\kappa$, this topology behaves as a direct uncountable analogue of the classical topology on $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$0: there are only $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$1-many basic opens, the Borel hierarchy can be formed using $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$2-many operations, and many coding arguments are available (Hyttinen et al., 21 Jul 2025).

The generalized Cantor space $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$3 is often treated analogously, but not uniformly across all problems. In the theory of universally Baire sets in $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$4, the relevant topology is the product topology with basic clopen sets

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$5

for $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$6, where $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$7 consists of finite partial functions (Ikegami et al., 2024). This choice is singled out because the correspondence between continuous maps from Stone spaces and Boolean-valued names for subsets of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$8 works cleanly only for that topology. The paper on universal Baireness explicitly emphasizes that this correspondence depends on the product topology, not the bounded or initial-segment topology in general (Ikegami et al., 2024).

A further refinement appears once $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$9 is dropped. In that setting, the usual initial-segment notion of basic open set becomes too coarse for a meaningful descriptive theory. A modified framework therefore uses basic $\kappa^\kappa$0-open sets $\kappa^\kappa$1 where $\kappa^\kappa$2 or $\kappa^\kappa$3 and $\kappa^\kappa$4, so that fewer than $\kappa^\kappa$5 many coordinates may be fixed at arbitrary locations rather than only along an initial segment (Hyttinen et al., 21 Jul 2025). This modification has no effect when $\kappa^\kappa$6, but when $\kappa^\kappa$7 it restores natural definability properties and prevents collapse phenomena in the naive theory (Hyttinen et al., 21 Jul 2025).

The terminology is not completely uniform across subfields. In Ramsey-theoretic work, the phrase “generalized Baire space” may also refer to $\kappa^\kappa$8, the set of subsets of $\kappa^\kappa$9 of order type $2^\kappa$0, equipped with pattern-generated topologies (Hathaway, 2017). This suggests that the subject is best understood as a family of higher-cardinal analogues of classical spaces rather than a single canonical construction.

2. Borel hierarchies and complexity classes

On $2^\kappa$1 under $2^\kappa$2, generalized Borel sets are generated from the basic opens by complements and unions of length $2^\kappa$3, and the familiar projective-like classes are defined by tree or projection operations. In this setting one has

$2^\kappa$4

with $2^\kappa$5 for $2^\kappa$6, $2^\kappa$7, and $2^\kappa$8; moreover it is consistent that $2^\kappa$9 (Hyttinen et al., 2012). The class $\kappa^{<\kappa}=\kappa$0 is given by game codes $\kappa^{<\kappa}=\kappa$1 on closed $\kappa^{<\kappa}=\kappa$2-trees and provides a game-theoretic presentation of the generalized Borel hierarchy (Hyttinen et al., 2012).

When $\kappa^{<\kappa}=\kappa$3, the hierarchy must be reformulated. A set is $\kappa^{<\kappa}=\kappa$4-open if it is a union of $\kappa^{<\kappa}=\kappa$5 many basic $\kappa^{<\kappa}=\kappa$6-open sets, and the $\kappa^{<\kappa}=\kappa$7-Borel sets are the smallest family containing the basic $\kappa^{<\kappa}=\kappa$8-open sets and closed under complements, $\kappa^{<\kappa}=\kappa$9-unions, and ${}^\kappa\kappa$0-intersections (Hyttinen et al., 21 Jul 2025). The special case ${}^\kappa\kappa$1 yields the paper’s notion of ${}^\kappa\kappa$2-open and ${}^\kappa\kappa$3-Borel. The associated ordinal-indexed hierarchy is proper: there are ${}^\kappa\kappa$4-Borel sets of arbitrarily high rank below ${}^\kappa\kappa$5, and there are ${}^\kappa\kappa$6-Borel sets that are not ${}^\kappa\kappa$7-Borel (Hyttinen et al., 21 Jul 2025).

For spaces of weight at most ${}^\kappa\kappa$8 under ${}^\kappa\kappa$9, the $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$0-Borel hierarchy can be studied abstractly, not only on the canonical spaces. On regular Hausdorff spaces of weight $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$1, the hierarchy is increasing and proper below its order, and a $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$2-Borel embedding of $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$3 into a space $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$4 suffices to show that the $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$5-Borel hierarchy on $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$6 does not collapse (Agostini et al., 19 Nov 2025). A distinctive singular-cardinal phenomenon is the existence of a second, strictly finer $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$7-Borel hierarchy; for singular $N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$8, the paper proves

$N_s=\{x\in{}^\kappa\kappa:s\subseteq x\},$9

and establishes a parity-sensitive relationship between the two hierarchies (Agostini et al., 19 Nov 2025).

These results identify a basic theme of the subject: the higher-cardinal Borel hierarchy is not a routine formal replacement of countable by $s\in{}^{<\kappa}\kappa$0. Its exact structure depends on the topology, on cardinal arithmetic, and in the singular case even on which closure cardinal is used in the hierarchy (Hyttinen et al., 21 Jul 2025).

3. Analyticity, tree representations, and universal Baireness

Tree representations remain central. For $s\in{}^{<\kappa}\kappa$1, a subset $s\in{}^{<\kappa}\kappa$2 is $s\in{}^{<\kappa}\kappa$3 iff it is the projection of a closed set, equivalently iff it is a continuous image of a closed subset of $s\in{}^{<\kappa}\kappa$4 (Lücke et al., 2023). This is the higher-cardinal analogue of the classical equivalence between analytic sets and continuous images of closed sets. At the same time, the higher setting separates classes that coincide classically: there is a nonempty closed subset of $s\in{}^{<\kappa}\kappa$5 that is not a continuous image of $s\in{}^{<\kappa}\kappa$6, there is a continuous injective image of $s\in{}^{<\kappa}\kappa$7 that is not $s\in{}^{<\kappa}\kappa$8-Borel, and the statement that every continuous image of $s\in{}^{<\kappa}\kappa$9 is an injective continuous image of a closed subset of $<\kappa$0 is independent of ZFC (Lücke et al., 2023).

Universal Baireness has now been extended from reals to arbitrary $<\kappa$1. For an infinite cardinal $<\kappa$2, the paper “Universally Baire sets in $<\kappa$3” defines $<\kappa$4 to be $<\kappa$5-Baire if for every continuous $<\kappa$6, the preimage $<\kappa$7 has the $<\kappa$8-Baire property in $<\kappa$9, meaning that it differs from an open set by a $\kappa^{<\kappa}=\kappa$0-meager set (Ikegami et al., 2024). Under the forcing axiom $\kappa^{<\kappa}=\kappa$1 for all $\kappa^{<\kappa}=\kappa$2, the paper proves four equivalent characterizations of this notion: a direct topological definition, a uniform name/elementary substructure characterization, a tree representation by projections

$\kappa^{<\kappa}=\kappa$3

and a generic-absoluteness formulation using a stationary tower embedding (Ikegami et al., 2024). For a class $\kappa^{<\kappa}=\kappa$4 of complete Boolean algebras, $\kappa^{<\kappa}=\kappa$5 is universally Baire in $\kappa^{<\kappa}=\kappa$6 with respect to $\kappa^{<\kappa}=\kappa$7, written $\kappa^{<\kappa}=\kappa$8, if it is $\kappa^{<\kappa}=\kappa$9-Baire for every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$00; when $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$01 and $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$02 is the class of all complete Boolean algebras, this recovers the Feng–Magidor–Woodin notion (Ikegami et al., 2024).

A key technical ingredient is the dictionary between continuous maps $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$03 and $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$04-names $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$05 for subsets of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$06, given by

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$07

This identifies a higher analogue of the interaction between topology, forcing, and trees that classically characterizes universally Baire sets of reals (Ikegami et al., 2024).

4. Regularity properties, dichotomies, and long games

Regularity theory on generalized Baire spaces is organized around higher analogues of Hurewicz, perfect set, and Banach–Mazur principles. For an uncountable regular $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$08 with $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$09, the generalized Hurewicz dichotomy for $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$10 states that either $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$11 is contained in a $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$12 set, or $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$13 contains a closed subset homeomorphic to $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$14 (Luecke et al., 2015). The dichotomy can be forced for all $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$15 subsets of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$16 by a $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$17-directed closed, $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$18-Knaster forcing, and under GCH there is a class-forcing extension in which it holds at all uncountable regular $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$19 while preserving strongly unfoldable and supercompact cardinals (Luecke et al., 2015). By contrast, in $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$20 the dichotomy fails at all uncountable regular cardinals, and after adding one Cohen subset to a GCH model it can fail at every uncountable regular $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$21 above the Cohen cardinal (Luecke et al., 2015).

Weak compactness changes the appropriate formulation. If $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$22 is weakly compact, then the Hurewicz dichotomy is equivalent to a Miller-tree version using $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$23-Miller trees (Luecke et al., 2015). This reflects a recurring phenomenon: at higher cardinals the right replacement for classical perfect-set objects may depend on large-cardinal structure.

For definable subsets of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$24, Solovay-style regularity results can be forced from an inaccessible cardinal above $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$25. There is a $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$26-closed forcing extension in which every subset of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$27 definable from an element of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$28 has the perfect set property, and likewise an extension in which the Banach–Mazur game of length $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$29 is determined for every such definable set (Schlicht, 2017). The generalized Banach–Mazur game $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$30 admits an exact strategy characterization in terms of dense homomorphisms $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$31, showing that determinacy and generalized Baire-property-like behavior are closely related but not identical in the uncountable setting (Schlicht, 2017).

A unifying higher-cardinal principle is the open dihypergraph dichotomy. After a Lévy collapse of an inaccessible $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$32 to $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$33, every definable box-open directed hypergraph on a subset of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$34 either admits a coloring in $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$35 many colors or there is a continuous homomorphism from a canonical large hypergraph $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$36 into it; under a Mahlo hypothesis, this extends to all box-open dihypergraphs on definable subsets (Schlicht et al., 2023). From this single dichotomy the paper derives variants of the Hurewicz dichotomy, strong forms of the Kechris–Louveau–Woodin separation theorem, determinacy of Väänänen’s perfect set game, an asymmetric $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$37-Baire property, and a generalized Jayne–Rogers theorem (Schlicht et al., 2023). This suggests that, in generalized Baire spaces, several regularity theorems are best viewed as consequences of a common topological-combinatorial dichotomy rather than as isolated statements.

5. Forcing, Ramsey theory, and combinatorial invariants

Forcing on generalized Baire spaces exhibits behavior sharply different from the classical case. In the bounded topology on $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$38, any suitable generalization of Laver forcing to uncountable regular $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$39 necessarily adds a Cohen $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$40-real (Khomskii et al., 2020). More precisely, if $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$41 is a forcing of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$42-Laver trees closed under restrictions $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$43, then $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$44 adds a Cohen $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$45-real; under $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$46, every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$47-distributive tree forcing on $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$48 adding a dominating $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$49-real that is the continuous image of the generic in the ground model also adds a Cohen $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$50-real (Khomskii et al., 2020). The paper further proves that the naive generalized Laver dichotomy fails for closed sets: there is a closed strongly dominating $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$51 containing no branch set $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$52 for any generalized Laver tree (Khomskii et al., 2020).

Ramsey theory gives a different view of higher topology. For $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$53 with the standard pattern topology $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$54, the Galvin–Prikry theorem fails; however, on coarser topologies one recovers positive theorems, and the exact strength of such Ramsey properties is calibrated by large cardinals such as weakly compact, Ramsey, and measurable cardinals (Hathaway, 2017). In particular, if $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$55 is weakly compact then every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$56 set is Ramsey, and if $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$57 is a Ramsey cardinal then every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$58 set is Ramsey (Hathaway, 2017).

Cardinal characteristics on bounded generalized Baire spaces reveal another layer of structure. For strongly inaccessible $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$59, products

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$60

are closed subspaces of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$61, and one can define higher-cardinal analogues of the dominating, eventual difference, localization, and antilocalization numbers (Vlugt, 2023). The paper shows that different parameter choices can lead to consistently distinct cardinals, a phenomenon absent from the classical unbounded setting in the same form (Vlugt, 2023). In the unbounded case, the antilocalization side stabilizes: $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$62 for every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$63 (Vlugt, 2023). This indicates that the generalized Baire framework supports both robust classical analogues and genuinely parameter-sensitive higher-cardinal behavior.

6. Model theory, coding of structures, and isomorphism complexity

Generalized Baire spaces provide canonical coding spaces for models of size $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$64. A standard method fixes a bijection $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$65 and codes a structure $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$66 by $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$67 or $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$68, turning isomorphism into an equivalence relation on a generalized Baire space (Hyttinen et al., 21 Jul 2025). This makes the Borel and analytic complexity of classification-theoretic problems accessible to descriptive methods.

For the orbit of a model of size $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$69, the relevant question is whether the set

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$70

is $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$71-Borel. The answer depends on stability theory: for countable complete theories $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$72, if for every $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$73 there are nonisomorphic models of $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$74 that are $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$75-equivalent, then the isomorphism relation $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$76 is not $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$77-Borel; for tame theories, especially $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$78-stable NDOP shallow theories, the orbit of a model of size $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$79 is $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$80-Borel under $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$81 and suitable cardinality bounds (Hyttinen et al., 21 Jul 2025). This reproduces, in generalized Baire spaces, the structure versus non-structure divide of classification theory.

The reducibility theory is correspondingly sharp. For inaccessible $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$82, if $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$83 is classifiable and $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$84 is superstable with S-DOP, then

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$85

so the isomorphism relation of a classifiable theory is continuously reducible to that of a superstable theory with S-DOP (Moreno, 2018). The central coding mechanism sends $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$86 to a colored tree $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$87, then to a model $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$88, and proves

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$89

for suitable $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$90, where $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$91 (Moreno, 2018). Consequently,

$$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$92

for every superstable theory $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$93 with S-DOP, and under $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$94, or in a suitable GCH-preserving forcing extension, $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$95 is $$\kappa^\kappa=\{f:\kappa\to\kappa\} \qquad\text{and}\qquad 2^\kappa=\{f:\kappa\to 2\},$$96-complete (Moreno, 2018).

These applications show that generalized Baire spaces are not only higher analogues of familiar topological spaces. They are also the ambient spaces in which deep model-theoretic distinctions, forcing absoluteness phenomena, and higher-cardinal regularity properties become comparable within a single descriptive framework.