The Consistency of One Fixed Omega
Henle, J. M.
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 172-177 / Harvested from Project Euclid
The paper "Partitions of Products" [DiPH] investigated the polarized partition relation $\begin{pmatrix}\omega\\\omega\\\omega\\\vdots\end{pmatrix} \rightarrow \begin{pmatrix}\alpha_1\\\alpha_1\\\alpha_2\\\vdots \end{pmatrix}$ The relation is consistent relative to an inaccessible cardinal if every $\alpha_i$ is finite, but inconsistent if two are infinite. We show here that it consistent (relative to an inaccessible) for one to be infinite. Along the way, we prove an interesting proposition from ZFC concerning partitions of the finite subsets of $\omega$.
Publié le : 1995-03-14
Classification: 
@article{1183744683,
     author = {Henle, J. M.},
     title = {The Consistency of One Fixed Omega},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 172-177},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744683}
}
Henle, J. M. The Consistency of One Fixed Omega. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  172-177. http://gdmltest.u-ga.fr/item/1183744683/