Forcing Axioms and Generic Absoluteness for Projective Sets in Descriptive Set Theory

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zen Revista, 10 MFC
DOI: 10.5281/zenodo.18142877
Cited by: 0

Abstract

We establish Sigma1n+1-generic absoluteness under the assumption of the Transfinite Proper Forcing Axiom (TPFA) and the existence of a proper class of Woodin cardinals via stationary tower forcing.

Fields of Study & Subjects

Advanced Topology and Set Theory Computability Logic AI Algorithms Mathematical and Theoretical Analysis

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 January 2026