Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2021 August 12

From Wikipedia, the free encyclopedia
Mathematics desk
< August 11 << Jul | August | Sep >> August 13 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


August 12

[edit]

Coanalytic counterexample to the continuum hypothesis?

[edit]

This question comes out of an exchange at talk:aleph number. It follows from ZFC alone that every analytic set () of real numbers has the perfect set property, and in particular is either countable or has the cardinality of the continuum. This follows from Borel determinacy (which is the most you can prove in ZFC) via the unfolded perfect set game.

Also, any complement of an analytic set (coanalytic set; set) is the union of Borel sets. (I came across this point when searching for the unfolded perfect set game; I don't really have a direct RS but it makes sense for reasons I can explain if anyone's interested, and for that matter I could probably find it in Moschovakis if I had time to look it up.)

So it follows that any coanalytic set is either countable, has cardinality , or has cardinality . If the continuum hypothesis holds, the latter two are equal.

Finally get to the question: Is this the best you can do in ZFC alone? Specifically, is it consistent with ZFC+~CH that there is a coanalytic set of reals of cardinality exactly ? --Trovatore (talk) 21:12, 12 August 2021 (UTC)[reply]

It's provable in ZFC that there is a coanalytic set of cardinality exactly : the self-constructible reals. A real is self-constructible if there is an with . It's straightforward to verify that this has cardinality at most . Conversely, for any countable , the atomic diagram of is self-constructible, so it has cardinality exactly . To see that this is , is self-constructible iff there is a relation on which is well-founded and collapses to an containing .--2404:2000:2000:8:D87B:C574:8159:3B76 (talk) 22:36, 12 August 2021 (UTC)[reply]
No, that can't be right. A single measurable cardinal gives you (and therefore ) determinacy, and thereby the perfect set property for . --Trovatore (talk) 22:47, 12 August 2021 (UTC)[reply]
You're right, my argument for uncountability is flawed.--2404:2000:2000:8:D87B:C574:8159:3B76 (talk) 22:49, 12 August 2021 (UTC)[reply]
It might work in forcing extensions of L that don't collapse . --Trovatore (talk) 22:49, 12 August 2021 (UTC)[reply]
Right. Self-constructible reals are cofinal in , so start with and add a Cohen generic.--2404:2000:2000:8:D87B:C574:8159:3B76 (talk) 23:12, 12 August 2021 (UTC)[reply]