LARGE CARDINALS AND DEFINABLE COUNTEREXAMPLES TO THE CONTINUUM-HYPOTHESIS

被引：58

作者：

FOREMAN, M ^{[1
]}

MAGIDOR, M ^{[1
]}

机构：

[1] HEBREW UNIV JERUSALEM, DEPT MATH, IL-91904 JERUSALEM, ISRAEL

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1995年 / 76卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0168-0072(94)00031-W

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this paper we consider whether L(R) has ''enough information'' to contain a counterexample to the continuum hypothesis. We believe this question provides deep insight into the difficulties surrounding the continuum hypothesis. We show sufficient conditions for L(R) not to contain such a counterexample. Along the way we establish many results about nonstationary towers, non-reflecting stationary sets, generalizations of proper and semiproper forcing and Chang's conjecture.

引用

页码：47 / 97

页数：51

共 36 条

[1] FORCING CLOSED UNBOUNDED SETS [J].

ABRAHAM, U ;

SHELAH, S .

JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) :643-657

[2]

Baumgartner J., HDB SET THEORETIC TO, P913

[3]

BAUMGARTNER J, UNPUB

[4] ON THE SIZE OF CLOSED UNBOUNDED SETS [J].

BAUMGARTNER, JE .

ANNALS OF PURE AND APPLIED LOGIC, 1991, 54 (03) :195-227

[5]

BAUMGARTNER JE, 1982, T AM MATH SOC, V270, P557, DOI 10.2307/1999861

[6]

BURGESS JP, THESIS U CALIFORNIA

[7]

COHEN P, 1963, P NAT ACAD SCI US, V50

[8]

FOREMAN M, 1983, LECT NOTES MATH, V1019, P1

[9] MARTINS MAXIMUM, SATURATED IDEALS, AND NON-REGULAR ULTRAFILTERS .1. [J].

FOREMAN, M ;

MAGIDOR, M ;

SHELAH, S .

ANNALS OF MATHEMATICS, 1988, 127 (01) :1-47

[10] SOME DOWNWARDS TRANSFER PROPERTIES FOR ALEPH-2 [J].

FOREMAN, M ;

LAVER, R .

ADVANCES IN MATHEMATICS, 1988, 67 (02) :230-238

← 1 2 3 4 →