Projective absoluteness for Sacks forcing

研究成果: Article

1 引用 (Scopus)

抄録

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.

元の言語English
ページ(範囲)679-690
ページ数12
ジャーナルArchive for Mathematical Logic
48
発行部数7
DOI
出版物ステータスPublished - 2009 9 1
外部発表Yes

Fingerprint

Sack

ASJC Scopus subject areas

  • Philosophy
  • Logic

これを引用

Projective absoluteness for Sacks forcing. / Ikegami, Daisuke.

:: Archive for Mathematical Logic, 巻 48, 番号 7, 01.09.2009, p. 679-690.

研究成果: Article

@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

AN - SCOPUS:70350630747

VL - 48

SP - 679

EP - 690

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

SN - 0933-5846

IS - 7

ER -