Projective absoluteness for Sacks forcing

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

We show that ∑1/3-absoluteness for Sacks forcing is equivalent to the non-existence δ1/2 of a Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ∑1/3 forcing absoluteness.

Original languageEnglish
Pages (from-to)679-690
Number of pages12
JournalArchive for Mathematical Logic
Volume48
Issue number7
DOIs
Publication statusPublished - 2009 Sep 1
Externally publishedYes

Fingerprint

Sack

Keywords

  • Bernstein sets
  • Forcing absoluteness
  • Sacks forcing

ASJC Scopus subject areas

  • Philosophy
  • Logic

Cite this

Projective absoluteness for Sacks forcing. / Ikegami, Daisuke.

In: Archive for Mathematical Logic, Vol. 48, No. 7, 01.09.2009, p. 679-690.

Research output: Contribution to journalArticle

@article{5ae09af84443429e818c1a5568927dd4,
title = "Projective absoluteness for Sacks forcing",
abstract = "We show that ∑1/3-absoluteness for Sacks forcing is equivalent to the non-existence δ1/2 of a Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ∑1/3 forcing absoluteness.",
keywords = "Bernstein sets, Forcing absoluteness, Sacks forcing",
author = "Daisuke Ikegami",
year = "2009",
month = "9",
day = "1",
doi = "10.1007/s00153-009-0143-5",
language = "English",
volume = "48",
pages = "679--690",
journal = "Archive for Mathematical Logic",
issn = "0933-5846",
publisher = "Springer New York",
number = "7",

}

TY - JOUR

T1 - Projective absoluteness for Sacks forcing

AU - Ikegami, Daisuke

PY - 2009/9/1

Y1 - 2009/9/1

N2 - We show that ∑1/3-absoluteness for Sacks forcing is equivalent to the non-existence δ1/2 of a Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ∑1/3 forcing absoluteness.

AB - We show that ∑1/3-absoluteness for Sacks forcing is equivalent to the non-existence δ1/2 of a Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ∑1/3 forcing absoluteness.

KW - Bernstein sets

KW - Forcing absoluteness

KW - Sacks forcing

UR - http://www.scopus.com/inward/record.url?scp=70350630747&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70350630747&partnerID=8YFLogxK

U2 - 10.1007/s00153-009-0143-5

DO - 10.1007/s00153-009-0143-5

M3 - Article

VL - 48

SP - 679

EP - 690

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

SN - 0933-5846

IS - 7

ER -