ON RESURRECTION AXIOMS

The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone. who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection (which we call unbounded resurrection) and show that it gives rise to famil...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 2015-06, Vol.80 (2), p.587-608
1. Verfasser: TSAPROUNIS, KONSTANTINOS
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone. who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection (which we call unbounded resurrection) and show that it gives rise to families of axioms which are consistent relative to extendible cardinals, and which imply the strongest known instances of forcing axioms, such as Martin's Maximum⁺⁺. In addition, we study the unbounded resurrection postulates in terms of consistency lower bounds, obtaining, for example, failures of the weak square principle.
ISSN:0022-4812
1943-5886
DOI:10.1017/jsl.2013.39