0# and inner models

被引：2
作者：
Friedman, SD [1 ]
机构：
[1] Inst Formale Logik, A-1090 Vienna, Austria
来源：
JOURNAL OF SYMBOLIC LOGIC | 2002年 / 67卷 / 03期
关键词：
descriptive set theory; large cardinals; inner models;
D O I：
10.2178/jsl/1190150140
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：924 / 932
页数：9
相关论文
共 46 条
[21]   An Inner Model Proof of the Strong Partition Property for δ12 [J].
Sargsyan, Grigor .
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (04) :563-568
[22]   An inner model theoretic proof of Becker's theorem [J].
Sargsyan, Grigor .
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (7-8) :999-1003
[23]   An inner model theoretic proof of Becker’s theorem [J].
Grigor Sargsyan .
Archive for Mathematical Logic, 2019, 58 :999-1003
[24]   No cardinal correct inner model elementarily embeds into the universe [J].
Goldberg, Gabriel ;
Thei, Sebastiano .
JOURNAL OF MATHEMATICAL LOGIC, 2024,
[25]   Covering with Chang models over derived models [J].
Sargsyan, Grigor .
ADVANCES IN MATHEMATICS, 2021, 384
[26]   I0 and rank-into-rank axioms [J].
Dimonte, Vincenzo .
BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 2018, 11 (03) :315-361
[27]   Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers [J].
Ya'ar, Ur .
ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
[28]   VARSOVIAN MODELS I [J].
Sargsyan, Grigor ;
Schindler, Ralf .
JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (02) :496-528
[29]   Computability in special models [J].
V. G. Puzarenko .
Siberian Mathematical Journal, 2005, 46 :148-165
[30]   Computability in special models [J].
Puzarenko, VG .
SIBERIAN MATHEMATICAL JOURNAL, 2005, 46 (01) :148-165
12345