Skip to main content
MathOverflow

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

8
  • $\begingroup$ I was not aware of this, what a nice result! $\endgroup$ Commented Jan 16, 2024 at 2:44
  • 1
    $\begingroup$ @mathworker21, thanks! Hrbacek succeeded in showing that Jin's proof (with three levels of standardness) can be carried out conservatively over ZF+ADC. $\endgroup$ Commented Jan 16, 2024 at 10:29
  • 1
    $\begingroup$ @MikhailKatz ADC = axiom of dependent choice? (EDIT: oh, yes, that's it; I see it in the abstract of Hrbacek's paper) $\endgroup$ Commented May 2, 2024 at 12:24
  • $\begingroup$ @DavidRoberts, As I mentioned in my recent edit, Jin's proof can be formalized conservatively over ZF+ACC, rather than ZF+ADC. This is a very recent breakthrough by Hrbacek. $\endgroup$ Commented May 2, 2024 at 13:06
  • 1
    $\begingroup$ BTW I emailed Tim Gowers about the broken DOI link - it turns out the problem is much more extensive, and likely dates back to articles starting some time in 2022 (!). $\endgroup$ Commented May 3, 2024 at 11:17