Projective absoluteness for Sacks forcing
type: Item
instance of: scholarly article
title: Projective absoluteness for Sacks forcing
zbMATH Open document ID: 1193.03074
author: Daisuke Ikegami
published in: Archive for Mathematical Logic
publication date: 2009-10-23T00:00:00Z
review text: This paper examines the connections between the absoluteness of projective sentences for the Sacks forcing extensions and regularity properties of \({\pmb\Sigma}^1_2\) and \({\pmb\Delta}^1_2\) sets of reals. The main result establishes the equivalence of \({\pmb\Sigma}^1_3\)-absoluteness for the Sacks forcing and non-existence of \({\pmb\Delta}^1_2\) Bernstein sets. The latter is known (by [\textit{J. Brendle} and \textit{B. Löwe}, ``Solovay-type characterizations for forcing-algebras'', J. Symb. Log. 64, No. 3, 1307--1323 (1999; Zbl 0945.03071)]) to be equivalent to non-existence of \({\pmb\Sigma}^1_2\) Bernstein sets, as well as to the fact that for each \(r\in\mathbb{R}\) there is a real which does not belong to \(L[r]\). The \({\pmb\Sigma}^1_3\)-absoluteness for the Sacks forcing is shown to be the weakest statement of this kind, i.e., for any forcing notion \(\mathbb{P}\) adding reals, \({\pmb\Sigma}^1_3\)-absoluteness for \(\mathbb{P}\) implies \({\pmb\Sigma}^1_3\)-absoluteness for the Sacks forcing. Also, the absoluteness of higher projective sentences is examined for the Sacks forcing extensions. It is proved that for each \(n\geq 1\), if \({\pmb\Sigma}^1_{n+1}\)-absoluteness holds for the Sacks forcing, then there are no \({\pmb\Delta}^1_n\) Bernstein sets. Under the assumption that the class \({\pmb\Pi}^1_{2n-1}\) has the uniformization property, it is shown that non-existence of \({\pmb\Delta}^1_{2n}\) Bernstein sets implies \({\pmb\Sigma}^1_{2n+1}\)-absoluteness for the Sacks forcing.
reviewed by: Marcin Sabok
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 28A05
Mathematics Subject Classification ID: 54H05
zbMATH DE Number: 5620101
zbMATH Keywords: forcing absoluteness
zbMATH Keywords: Sacks forcing
zbMATH Keywords: Bernstein sets
MaRDI profile type: Publication
full work available at URL: s00153-009-0143-5
OpenAlex ID: W2106142172
cites work: Q4844091
cites work: Amoeba-absoluteness and projective measurability
cites work: Q4944904
cites work: Solovay-type characterizations for forcing-algebras
cites work: Mathias absoluteness and the Ramsey property
cites work: Q4281256
cites work: \(\Delta^ 1_ 2\)-sets of reals
cites work: Perfect subsets of definable sets of real numbers
cites work: A Proof of Projective Determinacy
cites work: Uniformization in a playful universe
cites work: Descriptive set theory
cites work: Can you take Solovay's inaccessible away?
DOI: 10.1007/S00153-009-0143-5
Recommended article: Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
Recommended article: Forcing absoluteness and regularity properties
Recommended article: Proper forcing extensions and Solovay models
Recommended article: Uniformization and internal absoluteness
Recommended article: The consistency strength of projective absoluteness
Recommended article: Projective Measure Without Projective Baire
Recommended article: Q4944910
Recommended article: Some descriptive set theory and core models
Recommended article: Definable maximal discrete sets in forcing extensions
Recommended article: Generic Σ31 absoluteness
description: scientific article; zbMATH DE number 5620101