Partition properties and well-ordered sequences (Q922539): Difference between revisions

This paper assumes the Axiom of Determinateness and the Axiom of Dependent Choices \((AD+DC)\) and is concerned with questions about the possible lengths of well-ordered one-one sequences of sets of reals from a given pointclass, or of Suslin subsets of a Suslin cardinal \(\kappa\). This question relates to various other questions, such as the GCH in HOD or the possible number of equivalence classes of an equivalence relation. Suppose \(\kappa\) is a Suslin cardinal which is either a successor cardinal or a regular limit cardinal. Then there is no strictly increasing sequence of \(\kappa\)-Suslin sets of length \(\kappa^+\). This corrects a theorem of \textit{S. Jackson} and \textit{D. A. Martin} [Cabal Semin. 79-81, Lect. Notes Math. 1019, 56-66 (1983; Zbl 0529.03029)], and an ammended proof is given here. For such \(\kappa\), let \(\Gamma_{\kappa}\) be the least pointclass for which there is a \(\kappa^+\) increasing sequence. This \(\Gamma_{\kappa}\) is shown to be closed under negation and under countable unions of intersections. Stronger results follow if \(\kappa\) satisfies a partition property, the clopen strong partition property, introduced by Martin; and several further results and conjectures are given.