Woodin Cardinals and the Consistency Strength of the Proper Forcing Axiom relative to Supercompactness
Fuente:
Zenodo
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901470279892992 |
|---|---|
| author | Revista, Zen MFC, 10 |
| author_facet | Revista, Zen MFC, 10 |
| contents | The Proper Forcing Axiom (PFA) represents a significant strengthening of Martin's Axiom, asserting the existence of generic filters for a broad class of proper partial orders. This monograph investigates the consistency strength of PFA, situating it within the hierarchy of large cardinals. We analyze the seminal results establishing that the consistency of PFA follows from the existence of a supercompact cardinal. Conversely, we explore the lower bounds of its consistency strength, detailing the derivation of inner models with Woodin cardinals from PFA. Specifically, we examine Steel's theorem that PFA implies the Axiom of Determinacy in L(R), thereby enforcing the existence of infinitely many Woodin cardinals in the core model. Furthermore, we discuss recent developments by Viale and Weiss, which suggest that PFA implies combinatorial principles on 2 characteristic of supercompactness, hinting at an equiconsistency between PFA and a supercompact cardinal. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18167647 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Woodin Cardinals and the Consistency Strength of the Proper Forcing Axiom relative to Supercompactness Revista, Zen MFC, 10 Proper Forcing Axiom Woodin Cardinals Supercompact Cardinals Inner Model Theory Consistency Strength The Proper Forcing Axiom (PFA) represents a significant strengthening of Martin's Axiom, asserting the existence of generic filters for a broad class of proper partial orders. This monograph investigates the consistency strength of PFA, situating it within the hierarchy of large cardinals. We analyze the seminal results establishing that the consistency of PFA follows from the existence of a supercompact cardinal. Conversely, we explore the lower bounds of its consistency strength, detailing the derivation of inner models with Woodin cardinals from PFA. Specifically, we examine Steel's theorem that PFA implies the Axiom of Determinacy in L(R), thereby enforcing the existence of infinitely many Woodin cardinals in the core model. Furthermore, we discuss recent developments by Viale and Weiss, which suggest that PFA implies combinatorial principles on 2 characteristic of supercompactness, hinting at an equiconsistency between PFA and a supercompact cardinal. |
| title | Woodin Cardinals and the Consistency Strength of the Proper Forcing Axiom relative to Supercompactness |
| topic | Proper Forcing Axiom Woodin Cardinals Supercompact Cardinals Inner Model Theory Consistency Strength |
| url | https://doi.org/10.5281/zenodo.18167647 |