A NEW MINIMAL NON-σ-SCATTERED LINEAR ORDER
We will show it is consistent with GCH that there is a minimal non-σ-scattered linear order which does not contain any real or Aronszajn type. In particular the assumption PFA⁺ in the main result of [5] is necessary, and there are other obstructions than real and Aronszajn types to the sharpness of...
Gespeichert in:
Veröffentlicht in: | The Journal of symbolic logic 2019-12, Vol.84 (4), p.1576-1589 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We will show it is consistent with GCH that there is a minimal non-σ-scattered linear order which does not contain any real or Aronszajn type. In particular the assumption PFA⁺ in the main result of [5] is necessary, and there are other obstructions than real and Aronszajn types to the sharpness of Laver’s theorem in [8]. |
---|---|
ISSN: | 0022-4812 1943-5886 |
DOI: | 10.1017/jsl.2019.49 |