An inner model theoretic proof of Becker's theorem

被引：0

作者：

Sargsyan, Grigor ^{[1
]}

机构：

[1] Rutgers State Univ, New Brunswick, NJ 08903 USA

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2019年 / 58卷 / 7-8期

关键词：

Set theory; Inner model theory; Directed systems; Descriptive set theory;

D O I：

10.1007/s00153-019-00668-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We re-prove Becker's theorem from Becker (Isr J Math 40(3-4): 229-234, 1981) by showing that AD(L(R)) implies that L-(R) (sic) "omega(2) is delta(2)(similar to 1)-supercompact". Our proof uses inner model theoretic tools instead of Baire category. We also show that omega(2) is < Theta-strongly compact.

引用

页码：999 / 1003

页数：5

共 8 条

[1] DETERMINACY IMPLIES THAT CHI2 IS SUPERCOMPACT
BECKER, H
[J]. ISRAEL JOURNAL OF MATHEMATICS, 1981, 40 (3-4) : 229 - 234
[2] Supercompactness within the projective hierarchy
Becker, H
Jackson, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (02) : 658 - 672
[3] The weak square property
Jackson, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (02) : 640 - 657
[4] Inner models and ultrafilters in L(R)
Neeman, Itay
[J]. BULLETIN OF SYMBOLIC LOGIC, 2007, 13 (01) : 31 - 53
[5] Sargsyan G, 2019, ADR IMPLIES SETS REA
[6] Steel J. R., 2016, LECT NOTES LOGIC, P257
[7] Steel John, 2010, Handbook of set theory, P1595
[8] [No title captured]

← 1 →