- Go to previous talk.
We showed Velickovic’s result that under any inner model that computes correctly actually contains .
The argument depends on the (weak) reflection principle (a consequence of ) and a combinatorial result due to Gitik.
It is open whether this result holds with in place of , but an attempt to settle this led to the discovery that implies the existence of a definable (in a subset of ) well-ordering of the reals. The well-ordering is actually in the parameter, and the proof shows that can be decomposed as a union of small transitive structures whose height determines their reals. This “-like” decomposition of is expected to continue for larger cardinals, which leads to the following:
Conjecture (Caicedo, Velickovic). Assume and let be an inner model that computes cardinals correctly. Then .
Although the conjecture is still open, there is (significant) partial evidence suggesting it. For example, we showed that if satisfies and is a forcing extension of an inner model that computes correctly the class of ordinals of cofinality , then .