The Harrington-Shelah Model with Large Continuum

The Harrington-Shelah Model with Large Continuum

We prove from the existence of a Mahlo cardinal the consistency of the statement that \(2^\omega = \omega_3\) holds and every stationary subset of \(\omega_2 \cap \mathrm{cof}(\omega)\) reflects to an ordinal less than \(\omega_2\) with cofinality \(\omega_1\).

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2019-07
Hauptverfasser: Gilton, Thomas, Krueger, John
Format: Artikel
Sprache:eng
Schlagworte:
Mathematics - Logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We prove from the existence of a Mahlo cardinal the consistency of the statement that \(2^\omega = \omega_3\) holds and every stationary subset of \(\omega_2 \cap \mathrm{cof}(\omega)\) reflects to an ordinal less than \(\omega_2\) with cofinality \(\omega_1\).
ISSN:2331-8422
DOI:10.48550/arxiv.1801.00529