A game on partial orderings (Q675112)

From MaRDI portal
Revision as of 23:44, 3 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A game on partial orderings
scientific article

    Statements

    A game on partial orderings (English)
    0 references
    0 references
    0 references
    0 references
    1 October 1998
    0 references
    Given a regular uncountable cardinal \(\kappa\) and a partially ordered set \((P, <)\), the game \(G_\kappa (P)\) is defined as follows. A play is a length \(\kappa\) sequence \(x_0, x_1,x_2, \dots\) of subsets of \(P\) of size \(<\kappa\) such that \(x_0 \subseteq x_1 \subseteq x_2 \subseteq \dots\): first I chooses \(x_0\), then II chooses \(x_1\), then I chooses \(x_2, \dots\), then I chooses \(x_\omega\), then II chooses \(x_{\omega+1}, \dots\) II wins if and only if for every \(p\in P\), \(\{q\in \bigcup_{\alpha <\kappa} x_\alpha: q\leq p\}\) has cofinality \(<\kappa\) and \(\{q\in \bigcup_{\alpha< \kappa} x_\alpha: q\geq p\}\) has coinitiality \(<\kappa\). The main results of the paper are that (1) There is a tree \(T\) of height \(\kappa+1\) and size \(\kappa^+\) such that \(G_\kappa (T)\) is not determined; (2) There is a Boolean algebra \(B\) of size \(\kappa^+\) such that \(G_\kappa (B)\) is not determined; (3) \(\kappa^{<\kappa} =\kappa\) if and only if every linear order of size \(>\kappa\) has an increasing or decreasing \(\kappa\)-chain if and only if \(G_\kappa (L)\) is determined for every linear order \(L\).
    0 references
    0 references
    0 references
    Freese-Nation property
    0 references
    games
    0 references
    trees
    0 references
    linear orders
    0 references
    Boolean algebras
    0 references