Large normal ideals concentrating on a fixed small cardinality (Q1354350): Difference between revisions

The author considers the following cut-and-choose games: Let \(\kappa\), \(\mu\) and \(\xi\) be cardinal numbers and \(\theta\) an ordinal number such that \(2\leq\mu<\xi\leq\kappa\) and \(\theta\leq\kappa\), and let \(\mathcal D\) be a filter on \(\kappa\). The game has \(\theta\) innings. In the \(\nu\)th inning ONE first cuts \(\kappa\) into fewer than \(\xi\) pieces -- let \(O_\nu\) be the set of these pieces. Then TWO responds by choosing fewer than \(\mu\) of these pieces, say \(T_\nu\subset O_\nu\). A play \[ O_0, T_0,O_1,T_1,\dots, O_\nu,T_\nu,\dots\quad (\nu<\theta) \] is won by TWO if for each \(\nu<\theta\) the set \(\bigcap_{\gamma\leq\nu}(\bigcup T_\gamma)\) has nonempty intersection with each element of the filter \({\mathcal D}\); otherwise, ONE wins. Let the symbol \(G_{\kappa,\xi,\mu,\theta}({\mathcal D})\) denote this game. For fixed \(\kappa\), \(\xi\), \(\mu\) and \(\theta\), the author then defines a class \(K_{\kappa,\xi,\mu,\theta}\) of partially ordered sets by specifying five qualifying properties. The main result of the paper is as follows: If \(\kappa\) is a measurable cardinal number and \(\mathcal D\) is a \(\kappa\)-complete ultrafilter on \(\kappa\), then for every partially ordered set \({\mathbf P}\) from the class \(K_{\kappa,\xi,\mu,\theta}\), in any generic extension by \({\mathbf P}\) player TWO has a winning strategy in the game \(G_{\kappa,\xi,\mu,\theta}({\mathcal D})\). As one of the applications of the result, the author shows that the consistency of a hypothesis is an earlier paper by Liu and himself can be derived using large cardinals and the main result.