References & Citations
Mathematics > Logic
Title: Absoluteness via Resurrection
(Submitted on 8 Apr 2014 (v1), revised 1 Jul 2014 (this version, v2), latest version 5 Apr 2017 (v4))
Abstract: The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovic. We introduce a stronger form of resurrection axioms (the iterated resurrection axioms) and show that they imply generic absoluteness for the first-order theory of $H_{\mathfrak{c}}$ with parameters with respect to various classes of forcing.
We also show 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. We also compare these results with the generic absoluteness results by Woodin and the second author.
Submission history
From: Giorgio Audrito [view email][v1] Tue, 8 Apr 2014 12:59:10 GMT (15kb)
[v2] Tue, 1 Jul 2014 10:29:36 GMT (15kb)
[v3] Wed, 3 Jun 2015 12:41:27 GMT (23kb)
[v4] Wed, 5 Apr 2017 13:10:02 GMT (39kb)
Link back to: arXiv, form interface, contact.