We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes are added to thin projective transitive relations by these forcings.

Castiblanco, F., Schlicht, P. (2021). Preserving levels of projective determinacy by tree forcings. ANNALS OF PURE AND APPLIED LOGIC, 172(4), 1-34 [10.1016/j.apal.2020.102918].

Preserving levels of projective determinacy by tree forcings

Schlicht, Philipp
2021-01-01

Abstract

We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes are added to thin projective transitive relations by these forcings.
2021
Castiblanco, F., Schlicht, P. (2021). Preserving levels of projective determinacy by tree forcings. ANNALS OF PURE AND APPLIED LOGIC, 172(4), 1-34 [10.1016/j.apal.2020.102918].
File in questo prodotto:
File Dimensione Formato  
preserving-levels-of-projective-determinacy.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 720.68 kB
Formato Adobe PDF
720.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1277436