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

Joined November 2024

1.1K Following 8.7K Followers

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.