Weak covering without countable closure (Q1910658): Difference between revisions

Die Verfasser gehen von der Voraussetzung aus, daß es in unserem Universum kein inneres Modell mit einer Woodin Kardinalzahl gibt. Das Hauptresultat ist folgendes. Sei \(K\) das Steel-Kernmodell (core model) in \(V_\Omega\), wobei \(\Omega\) eine meßbare Kardinalzahl ist. Dann gilt für jedes \(\lambda \geq \omega_2\) die Ungleichung \(\text{cf} ((\lambda^+)^K) \geq \text{card}(\lambda)\).