On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types

Bulletin of Symbolic Logic 8 (2):303 (2002)
  Copy   BIBTEX


We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ℵ 1 -dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ℵ 1 -dense subsets of R are isomorphic, is consistent. We e.g. prove Con). Let K H , be the set of order types of ℵ 1 -dense homogeneous subsets of R with the relation of embeddability. We prove that for every finite model L , : Con iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ℵ 1 , and { U 0 ,\h.;, U n−1 } is a cover of D ▪ X x X -} x,x> ¦ x ϵ X } consisting of symmetric open sets, then X can be partitioned into { X i \brvbar; i ϵ ω } such that for every i ϵ ω there is l such that D ⊇ U l ”. We also prove that MA+OCA [xrArr] 2 ℵ 0 = ℵ 2



    Upload a copy of this work     Papers currently archived: 77,737

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A dual open coloring axiom.Stefan Geschke - 2006 - Annals of Pure and Applied Logic 140 (1):40-51.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
On topological properties of ultraproducts of finite sets.Gábor Sági & Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (3):254-257.
Some Results in the Partition Calculus.Albin Lee Jones - 1999 - Dissertation, Dartmouth College
Partition-theorems for causal decision theories.Jordan Howard Sobel - 1989 - Philosophy of Science 56 (1):70-93.
Two cardinal models for singular µ.Shimon Garti & Saharon Shelah - 2007 - Mathematical Logic Quarterly 53 (6):636-641.
Simple monadic theories and partition width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.
Analytic colorings.Wiesław Kubiś & Saharon Shelah - 2003 - Annals of Pure and Applied Logic 121 (2-3):145-161.
[Omnibus Review].Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.


Added to PP

20 (#571,565)

6 months
1 (#481,788)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Chain conditions of products, and weakly compact cardinals.Assaf Rinot - 2014 - Bulletin of Symbolic Logic 20 (3):293-314,.
Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Fragments of Martin's axiom and δ13 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
Combinatorial dichotomies in set theory.Stevo Todorcevic - 2011 - Bulletin of Symbolic Logic 17 (1):1-72.

View all 31 citations / Add more citations

References found in this work

Chains and antichains in p(ω).James E. Baumgartner - 1980 - Journal of Symbolic Logic 45 (1):85-92.
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.

Add more references