Forcing absoluteness and regularity properties

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over L and the core model K. We use our results to answer open questions from set theory of the reals.

Original languageEnglish
Pages (from-to)879-894
Number of pages16
JournalAnnals of Pure and Applied Logic
Volume161
Issue number7
DOIs
Publication statusPublished - 2010 Apr 1
Externally publishedYes

Keywords

  • Forcing absoluteness
  • Regularity properties

ASJC Scopus subject areas

  • Logic

Cite this

Forcing absoluteness and regularity properties. / Ikegami, Daisuke.

In: Annals of Pure and Applied Logic, Vol. 161, No. 7, 01.04.2010, p. 879-894.

Research output: Contribution to journalArticle

@article{59e028fb2c8342369c96f4fdbcdf26c1,
title = "Forcing absoluteness and regularity properties",
abstract = "For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over L and the core model K. We use our results to answer open questions from set theory of the reals.",
keywords = "Forcing absoluteness, Regularity properties",
author = "Daisuke Ikegami",
year = "2010",
month = "4",
day = "1",
doi = "10.1016/j.apal.2009.10.005",
language = "English",
volume = "161",
pages = "879--894",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "7",

}

TY - JOUR

T1 - Forcing absoluteness and regularity properties

AU - Ikegami, Daisuke

PY - 2010/4/1

Y1 - 2010/4/1

N2 - For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over L and the core model K. We use our results to answer open questions from set theory of the reals.

AB - For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over L and the core model K. We use our results to answer open questions from set theory of the reals.

KW - Forcing absoluteness

KW - Regularity properties

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

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

U2 - 10.1016/j.apal.2009.10.005

DO - 10.1016/j.apal.2009.10.005

M3 - Article

VL - 161

SP - 879

EP - 894

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 7

ER -