17 citations · 51 across the 17 of their papers we have counts for
1 paper · 1 filter
Andrew D. Brooke-Taylor
We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. Thi…