show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Monotone injection of an ordinal into $[0,1]$

This is related to my recent question and would provide a natural positive answer to Question 2. I am sure this must be known to experts.

Question: Is there a monotone injection $(\omega_1,<) \to ([0,1],<)$ ?