Ramsey theory on generalized Baire space (Q683976)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ramsey theory on generalized Baire space
scientific article

    Statements

    Ramsey theory on generalized Baire space (English)
    0 references
    0 references
    9 February 2018
    0 references
    In what follows, \(\kappa\) is an uncountable cardinal. The family of all subsets of \(\kappa\) of size \(\kappa\) is denoted by \([\kappa]^{\kappa}\). The generalized Baire space of height \(\kappa\) is the set \(^\kappa \kappa\) of all functions from \(\kappa\) into \(\kappa\) endowed with the topology generated by the sets of the form \([p] = \{f \in\,{^\kappa} \kappa: p \subseteq f\}\), where \(p \in\,^{< \kappa} \kappa = \bigcup\limits_{\alpha < \kappa}\, ^\alpha \kappa\). A collection \(\mathcal{S} \subseteq [\kappa]^\kappa\) is Ramsey as witnessed by \(H \in [\kappa]^\kappa\) if either (i) \((\forall X \in [H]^\kappa)[X \in \mathcal{S}]\); or (ii) \((\forall X \in [H]^\kappa)[X \notin \mathcal{S}]\). More generally, a colouring \(c:[\kappa]^\kappa \to \lambda\) is Ramsey if there is \(H \in [\kappa]^\kappa\) which is homogeneous for \(c\), meaning that \(c\) is constant when restricted to the family of all \(\kappa\)-sized subsets of \(H\). It is well-known that, assuming the axiom of choice, there is a collection \(\mathcal{S} \subseteq [\omega]^{\omega}\) which is not Ramsey. However, \textit{F. Galvin} and \textit{K. Prikry} have shown in [J. Symb. Log. 38, 193--198 (1973; Zbl 0276.04003)] that all Borel subsets of the Borel space\, \(^\omega \omega\) are Ramsey. In the paper under review, the author shows that, although the analogous of the Galvin-Prikry theorem does not hold on generalized Baire spaces, there are several similar theorems which do hold when one considers certain natural coarser topologies on the set \(^\kappa \kappa\).
    0 references
    Ramsey theory
    0 references
    generalized Baire space
    0 references
    set-theoretic topology
    0 references
    large cardinals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references