TobyBartels comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong

8 Post author: Unnamed 25 August 2011 02:17AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (653)

You are viewing a single comment's thread. Show more comments above.

Comment author: TobyBartels 11 September 2011 08:52:22PM *  2 points [-]

I guess if we don't have choice and R isn't well-orderable than I guess omega_1 could be just incomparable to it for all I know.

That's how I remember it, although I don't know a reference (much less a proof). All we know is that omega_1 is not larger than R.