CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishThe resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms RAα(Γ) for a class of forcings Γ and a given ordinal α), and show that RAω(Γ) implies generic absoluteness for the first-order theory of Hγ+ with respect to forcings in Γ preserving the axiom, where γ=γΓ is a cardinal which depends on Γ (γΓ=ω1 if Γ is any among the classes of countably closed, proper, semiproper, stationary set preserving forcings). We also prove that the consistency strength of these axioms is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover we outline that simultaneous generic absoluteness for Hγ+0 with respect to Γ0 and for Hγ+1 with respect to Γ1 with γ0=γΓ0≠γΓ1=γ1 is in principle possible, and we present several natural models of the Morse Kelley set theory where this phenomenon occurs (even for all Hγ simultaneously). Finally, we compare the iterated resurrection axioms (and the generic absoluteness results we can draw from them) with a variety of other forcing axioms, and also with the generic absoluteness results by Woodin and the second author.
| Titolo: | Absoluteness via resurrection | |
| Autori Riconosciuti: | ||
| Autori: | Audrito, Giorgio; Viale, Matteo | |
| Data di pubblicazione: | 2017 | |
| Abstract: | The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms RAα(Γ) for a class of forcings Γ and a given ordinal α), and show that RAω(Γ) implies generic absoluteness for the first-order theory of Hγ+ with respect to forcings in Γ preserving the axiom, where γ=γΓ is a cardinal which depends on Γ (γΓ=ω1 if Γ is any among the classes of countably closed, proper, semiproper, stationary set preserving forcings). We also prove that the consistency strength of these axioms is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover we outline that simultaneous generic absoluteness for Hγ+0 with respect to Γ0 and for Hγ+1 with respect to Γ1 with γ0=γΓ0≠γΓ1=γ1 is in principle possible, and we present several natural models of the Morse Kelley set theory where this phenomenon occurs (even for all Hγ simultaneously). Finally, we compare the iterated resurrection axioms (and the generic absoluteness results we can draw from them) with a variety of other forcing axioms, and also with the generic absoluteness results by Woodin and the second author. | |
| Volume: | on-line-ready | |
| Pagina iniziale: | 1 | |
| Pagina finale: | 31 | |
| Digital Object Identifier (DOI): | 10.1142/S0219061317500052 | |
| URL: | https://arxiv.org/abs/1404.2111 | |
| Rivista: | JOURNAL OF MATHEMATICAL LOGIC | |
| Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| Absoluteness via Resurrection.pdf | articolo principale | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
| s0219061317500052.pdf | PDF EDITORIALE | Non specificato | Utenti riconosciuti Richiedi una copia |
http://hdl.handle.net/2318/1635434
Copyright © 2022