Absoluteness via resurrection

DOI10.1142/S0219061317500052zbMath1423.03184arXiv1404.2111OpenAlexW2963509668MaRDI QIDQ4596661

Matteo Viale, Giorgio Audrito

Publication date: 4 December 2017

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.2111

zbMATH Keywords

forcing axiomsgeneric absolutenessresurrection axioms

Mathematics Subject Classification ID

Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57)

Related Items (10)

On a class of maximality principles ⋮ Incompatible bounded category forcing axioms ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ First‐order undefinability of the notion of transfinitely uplifting cardinals ⋮ Open determinacy for class games ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Second order arithmetic as the model companion of set theory ⋮ Ultrahuge cardinals ⋮ Martin's maximum revisited ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Bounded forcing axioms as principles of generic absoluteness
• The lottery preparation
• Resurrection axioms and uplifting cardinals
• Characterizations of pretameness and the Ord-cc
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• Class Forcing in Class Theory
• Generic absoluteness under projective forcing
• Set Theory
• Coherent adequate forcing and preserving CH

This page was built for publication: Absoluteness via resurrection