Published January 4, 2026 | Version v1

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

  • 1. Revista Científica

Description

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.

Files

revistazen.pdf

Files (314.1 kB)

Name Size Download all
md5:b7e49cf6765bb873c452b4a423d53936
314.1 kB Preview Download