- #1

nomadreid

Gold Member

- 1,578

- 177

I do not understand how On, the class of ordinals, can be included in the universe of an inner model of ZFC such as < V

One, it would seem that On was simply too big. For example, On would contain the ordinal that is associated with the cardinal number [tex]\alpha[/tex], where a is a measurable cardinal, there are at least a Ramsey cardinals below [tex]\alpha[/tex]. [tex]\alpha[/tex] is much larger than the first inaccessible [tex]\kappa[/tex], so how would so many ordinals fit into V[tex]\kappa[/tex]?

Two, V

Three: I thought of the collapsing of V by using an appropriate ultrafilter over a measurable cardinal, where also the ordinals would be collapsed, but since there are a lot of ordinals which are skipped by the elementary embedding, having the measurable cardinal as a critical point, then it would seem that On doesn't all get into the universe of the collapsed model. Or does it somehow?

Fourth, I was convinced me that we were not just talking about V

Any help in the right direction would be appreciated.

PS For some reason, the kappas and alphas got superscripted rather than subscripted, even though it clearly shows subscripting. Sorry. Maybe the two functions, Greek letters and subscripting, don't go together.

_{[tex]\kappa[/tex]}, epsilon>, where [tex]\kappa[/tex] is the first inaccessible ordinal. My confused attempts to do so have led me to believe that I am getting off on the wrong foot in my analysis, that there is something very basic that I am missing here. I list four of my dead-ends, to show what sort of confusion I am asking someone to lead me out of.One, it would seem that On was simply too big. For example, On would contain the ordinal that is associated with the cardinal number [tex]\alpha[/tex], where a is a measurable cardinal, there are at least a Ramsey cardinals below [tex]\alpha[/tex]. [tex]\alpha[/tex] is much larger than the first inaccessible [tex]\kappa[/tex], so how would so many ordinals fit into V[tex]\kappa[/tex]?

Two, V

_{[tex]\kappa[/tex]}can be, in a higher order, be construed as a set, whereas On can never be anything but a class. So how can On be part of V_{[tex]\kappa[/tex]}?Three: I thought of the collapsing of V by using an appropriate ultrafilter over a measurable cardinal, where also the ordinals would be collapsed, but since there are a lot of ordinals which are skipped by the elementary embedding, having the measurable cardinal as a critical point, then it would seem that On doesn't all get into the universe of the collapsed model. Or does it somehow?

Fourth, I was convinced me that we were not just talking about V

_{[tex]\kappa[/tex]}intersect On, because the condition for the supercompact cardinal is that it be lambda-supercompact for all ordinal lambda greater than or equal to the supercompact cardinal, which means that somehow they all have to be in the model.Any help in the right direction would be appreciated.

PS For some reason, the kappas and alphas got superscripted rather than subscripted, even though it clearly shows subscripting. Sorry. Maybe the two functions, Greek letters and subscripting, don't go together.

Last edited: