Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\kappa$ be an infinite cardinal. For a subset $A \subseteq \mathbb{R}$, we say that $A$ is $\kappa$-dense if $|A \cap (a, b)| = \kappa$ for every interval $(a, b)$. By Cantor, any two $\aleph_0$-dense sets are order-isomorphic.

If the CH holds, then there are many non-isomorphic $\aleph_1$-dense sets. However, Baumgartner showed that it is consistent with $2^{\aleph_0}=\aleph_2$ that all $\aleph_1$-dense sets are isomorphic, giving a generalization of Cantor's result. My question is, can this be pushed further? Is it consistent with $2^{\aleph_0} \geq \aleph_3$ that all $\aleph_2$-dense sets of reals are isomorphic? And what about for larger cardinals still? Can we have the result for $\aleph_1$-dense sets and $\aleph_2$-dense sets simultaneously?

Baumgartner himself asked if all $\aleph_2$-dense sets of reals could be isomorphic in his original paper, which I found linked here on MO (all thanks to François Dorais). But I have been unable to find out if his question has subsequently been answered. If anyone knows the answer, or can provide a reference, I would be grateful.

share|improve this question

1 Answer 1

up vote 5 down vote accepted

The consistency of All $\aleph_2$-dense sets are order-isomorphic is problem 15.14 in Arnold Miller's list of problems (which he keeps up-to-date), and there is no indication there that any progress has been made on it. That's at least strong evidence that it's still open.

share|improve this answer
Shelah also mentions it among the most important open problems in "On what I do not understand (and have something to say): I"shelah.logic.at/files/666.pdf –  Péter Komjáth May 29 '13 at 4:00
I wonder why that PDF file is called "666". –  Andrej Bauer May 29 '13 at 6:16
[666] is Shelah's 666th paper, but of course there is some wiggle room that he uses to assign particularly interesting numbers to special papers. –  Stefan Geschke May 29 '13 at 6:33
I think the assignment of numbers to Shelah's papers is not done by Shelah himself but by Andrzej Roslanowski, who maintains the archive of Shelah's papers. –  Andreas Blass May 29 '13 at 10:07
Not quite, Andreas! Saharon was quite involved with the choice of "666" for that paper...he thought it a fine joke! (He was working on this paper when I first started working for him in Jerusalem.) –  Todd Eisworth May 30 '13 at 4:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.