No CrossRef data available.
Article contents
A new inner model for ZFC
Published online by Cambridge University Press: 12 March 2014
Abstract
Assume (∃κ) [κ → (κ)<ω & Rκ ≺ V]. Then a new inner model H exists and has the following properties: (1) H ≠ HOD; (2) Th(H) = Th(HOD); (3) there is j: H → H; (4) there is a c.u.b. class of indiscernibles for H.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1981