Partitions of products

Pincus, David; Halpern, J. D.

doi:10.1090/S0002-9947-1981-0626489-3

Partitions of products
HTML articles powered by AMS MathViewer

by David Pincus and J. D. Halpern PDF

Trans. Amer. Math. Soc. 267 (1981), 549-568 Request permission

Abstract:

This paper extends some applications of a theorem of Halpern and Lauchli on partitions of products of finitary trees. The extensions are to weak infinite products of dense linear orderings, and ultrafilter preservation for finite product Sacks forcing.

References

Serge Grigorieff, Combinatorics on ideals and forcing, Ann. Math. Logic 3 (1971), no. 4, 363–394. MR 297560, DOI 10.1016/0003-4843(71)90011-8
J. D. Halpern, The independence of the axiom of choice from the Boolean prime ideal theorem, Fund. Math. 55 (1964), 57–66. MR 164891, DOI 10.4064/fm-55-1-57-66
J. D. Halpern, Nonstandard combinatorics, Proc. London Math. Soc. (3) 30 (1975), 40–54. MR 389605, DOI 10.1112/plms/s3-30.1.40
J. D. Halpern and H. Läuchli, A partition theorem, Trans. Amer. Math. Soc. 124 (1966), 360–367. MR 200172, DOI 10.1090/S0002-9947-1966-0200172-2
J. D. Halpern and A. Lévy, The Boolean prime ideal theorem does not imply the axiom of choice. , Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 83–134. MR 0284328
Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513

Some results in Ramsey theory

Keith R. Milliken, A Ramsey theorem for trees, J. Combin. Theory Ser. A 26 (1979), no. 3, 215–237. MR 535155, DOI 10.1016/0097-3165(79)90101-8
David Pincus, On the independence of the Kinna-Wagner principle, Z. Math. Logik Grundlagen Math. 20 (1974), 503–516. MR 369066, DOI 10.1002/malq.19740203104
David Pincus, Adding dependent choice, Ann. Math. Logic 11 (1977), no. 1, 105–145. MR 453529, DOI 10.1016/0003-4843(77)90011-0
David Pincus, Adding dependent choice to the prime ideal theorem, Logic Colloquium 76 (Oxford, 1976) Studies in Logic and Found. Math., Vol. 87, North-Holland, Amsterdam, 1977, pp. 547–565. MR 0480027
Gerald E. Sacks, Forcing with perfect closed sets, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 331–355. MR 0276079