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 K. Milliken, Some results in Ramsey theory, Doctoral Dissertation, UCLA, 1975.
- 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
Additional Information
- © Copyright 1981 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 267 (1981), 549-568
- MSC: Primary 03E05; Secondary 03E25, 03E35, 03E45, 05A17, 05C05
- DOI: https://doi.org/10.1090/S0002-9947-1981-0626489-3
- MathSciNet review: 626489