DETERMINACY FROM STRONG REFLECTION

被引:0
作者
Steel, John [1 ]
Zoble, Stuart [2 ]
机构
[1] Univ Calif Berkeley, Dept Math, Berkeley, CA 94720 USA
[2] Wesleyan Univ, Dept Math, Middletown, CT 06459 USA
关键词
Stationary reflection; nonstationary ideal; determinacy;
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The Axiom of Determinacy holds in the inner model L(R) assuming Martin's Maximum for partial orderings of size c.
引用
收藏
页码:4443 / 4490
页数:48
相关论文
共 28 条
[1]  
[Anonymous], 1989, Journal of the American Mathematical Society, DOI DOI 10.2307/1990913
[2]  
[Anonymous], 1992, MATH SCI RES I PUBL
[3]  
[Anonymous], 1999, DE GRU LOG APPLICAT
[4]   Projective stationary sets and a strong reflection principle [J].
Feng, Q ;
Jech, T .
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1998, 58 :271-283
[5]   LARGE CARDINALS AND DEFINABLE COUNTEREXAMPLES TO THE CONTINUUM-HYPOTHESIS [J].
FOREMAN, M ;
MAGIDOR, M .
ANNALS OF PURE AND APPLIED LOGIC, 1995, 76 (01) :47-97
[6]   MARTINS MAXIMUM, SATURATED IDEALS, AND NON-REGULAR ULTRAFILTERS .1. [J].
FOREMAN, M ;
MAGIDOR, M ;
SHELAH, S .
ANNALS OF MATHEMATICS, 1988, 127 (01) :1-47
[7]   Generic relativizations of fine structure [J].
Hauser, K .
ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 39 (04) :227-249
[8]  
Jech T., 2010, HDB SET THEORY, P93, DOI DOI 10.1007/978-1-4020-5764-9_2
[9]  
Kechris Alexander S., 2008, LECT NOTES LOGIC, V31
[10]   EQUIVALENCE OF PARTITION PROPERTIES AND DETERMINACY [J].
KECHRIS, AS ;
WOODIN, WH .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA-PHYSICAL SCIENCES, 1983, 80 (06) :1783-1786