= Model of ZFC without weakly inaccessible cardinals
Consistency of <ZFC> implies consistency of <ZFC> with the <Generalized continuum hypothesis> and no <weakly inaccessible cardinals>. Pass to the <constructible universe>. If it has an inaccessible, cut at its least one; that rank segment still models <ZFC> and the <Generalized continuum hypothesis>, but has no inaccessibles. In this model the <singular cardinal enumeration> is continuous at every nonzero <limit ordinal> index. This is a relative-consistency construction, not a deduction of a <transitive model> from bare consistency.
Back to article page
