Elliot Glazer(@ElliotGlazer):@JDHamkins There was a clear route to success. I just needed to prove this conjecture: “In L adjoined by \aleph_1 random reals, every definable set of size \aleph_1 consists of definable elements.” Here definability allows ordinal and real parameters.

Elliot Glazer

@ElliotGlazer

Unrestricted comprehension @PrincipiaLabs

参加 November 2024

1.1K フォロー中 8.7K ファン

Elliot Glazer@ElliotGlazer

2026.10.02 04:35

@JDHamkins There was a clear route to success. I just needed to prove this conjecture: “In L adjoined by \aleph_1 random reals, every definable set of size \aleph_1 consists of definable elements.” Here definability allows ordinal and real parameters.