MrMind comments on Open Thread, September 30 - October 6, 2013 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (295)
Well, I guess this pretty much depends on the area you're working on. I'm interested in the foundation of mathematics, for which measurable sets are of big importance (for example, they are the smallest critical point of embedding of transitive models, or they are the smallest large cardinal property that cannot be shown to exists inside the smallest inner model). Outside of that area, I guess the interest is all about R and descriptive set theory.
Edit: It's not true that measurable cardinals are the smallest large cardinals that do not exists in L. Technically, the consistency strength is called 0#, and between that and measurables there are Ramsey cardinals.
Well, the definitive source is Kanamori's book "The higher infinite", but it's advanced. Some interesting things can be scooped up from Wikipedia's entry about the axiom of determinacy.