A New Inner Model for ZFC

Zadrozny, Wlodzimierz

J. Symbolic Logic, Tome 46 (1981) no. 1, p. 393-396 / Harvested from Project Euclid

Résumé

Assume $(\exists\kappa) \lbrack\kappa \rightarrow (\kappa)^{<\omega} & R_\kappa \prec V\rbrack$. Then a new inner model $H$ exists and has the following properties: (1) $H \neq \mathrm{HOD}$; (2) $\mathrm{Th}(H) = \mathrm{Th(HOD)}$; (3) there is $j: H \rightarrow H$; (4) there is a c.u.b. class of indiscernibles for $H$.

Publié le : 1981-06-14
Classification:

@article{1183740786,
     author = {Zadrozny, Wlodzimierz},
     title = {A New Inner Model for ZFC},
     journal = {J. Symbolic Logic},
     volume = {46},
     number = {1},
     year = {1981},
     pages = { 393-396},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740786}
}

Zadrozny, Wlodzimierz. A New Inner Model for ZFC. J. Symbolic Logic, Tome 46 (1981) no. 1, pp.  393-396. http://gdmltest.u-ga.fr/item/1183740786/