Grigorieff forcing and the tree property

In this paper we use Grigorieff forcing to obtain the tree property at the second successor of a regular uncountable cardinal κ. We also show that Silver forcing can be used to obtain the tree property at ℵ2.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Acta Universitatis Carolinae. Philosophica et historica 2017, Vol.XXIII (2), p.63-72
1. Verfasser: Stejskalová, Šárka
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we use Grigorieff forcing to obtain the tree property at the second successor of a regular uncountable cardinal κ. We also show that Silver forcing can be used to obtain the tree property at ℵ2.
ISSN:0567-8293
2464-7055