Non-cohen oracle C.C.C.

Saharon Shelah

doi:10.1515/JAA.2006.1

Non-cohen oracle C.C.C.

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Abstract

The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can "omit a type "; i.e. preserve "the intersection of a given family of Borel sets of reals is empty " provided that Cohen forcing satis es it. We generalize this to other cases. In Section 1 we replace Cohen by "nicely " de nable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing, <·!) of a given nicely one and satisfying the oracle.

Original language	English
Pages (from-to)	1-17
Number of pages	17
Journal	Journal of Applied Analysis
Volume	12
Issue number	1
DOIs	https://doi.org/10.1515/JAA.2006.1
State	Published - Jun 2006

Keywords

03E17
03E35

Access to Document

10.1515/JAA.2006.1

Cite this

@article{3a30944905154941bb4cdeda7dcad79c,

title = "Non-cohen oracle C.C.C.",

abstract = "The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can {"}omit a type {"}; i.e. preserve {"}the intersection of a given family of Borel sets of reals is empty {"} provided that Cohen forcing satis es it. We generalize this to other cases. In Section 1 we replace Cohen by {"}nicely {"} de nable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing, <·!) of a given nicely one and satisfying the oracle.",

keywords = "03E17, 03E35",

author = "Saharon Shelah",

year = "2006",

month = jun,

doi = "10.1515/JAA.2006.1",

language = "אנגלית",

volume = "12",

pages = "1--17",

journal = "Journal of Applied Analysis",

issn = "1425-6908",

publisher = "Walter de Gruyter GmbH",

number = "1",

}

TY - JOUR

T1 - Non-cohen oracle C.C.C.

AU - Shelah, Saharon

PY - 2006/6

Y1 - 2006/6

N2 - The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can "omit a type "; i.e. preserve "the intersection of a given family of Borel sets of reals is empty " provided that Cohen forcing satis es it. We generalize this to other cases. In Section 1 we replace Cohen by "nicely " de nable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing, <·!) of a given nicely one and satisfying the oracle.

AB - The oracle c.c.c. is closely related to Cohen forcing. During an iteration we can "omit a type "; i.e. preserve "the intersection of a given family of Borel sets of reals is empty " provided that Cohen forcing satis es it. We generalize this to other cases. In Section 1 we replace Cohen by "nicely " de nable c.c.c., do the parallel of the oracle c.c.c. and end with a criterion for extracting a subforcing (not a complete subforcing, <·!) of a given nicely one and satisfying the oracle.

KW - 03E17

KW - 03E35

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

U2 - 10.1515/JAA.2006.1

DO - 10.1515/JAA.2006.1

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:78951487157

SN - 1425-6908

VL - 12

SP - 1

EP - 17

JO - Journal of Applied Analysis

JF - Journal of Applied Analysis

IS - 1

ER -

Non-cohen oracle C.C.C.

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this