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 条
[31]   An embedding theorem of E0 with model theoretic applications [J].
Kaplan, Itay ;
Miller, Benjamin D. .
JOURNAL OF MATHEMATICAL LOGIC, 2014, 14 (02)
[32]   SUITABLE EXTENDER MODELS I [J].
Woodin, W. Hugh .
JOURNAL OF MATHEMATICAL LOGIC, 2010, 10 (1-2) :101-339
[33]   Realizability Models for Large Cardinals [J].
Fontanella, Laura ;
Geoffroy, Guillaume ;
Matthews, Richard .
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[34]   DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS [J].
Trang, Nam .
JOURNAL OF SYMBOLIC LOGIC, 2023,
[35]   Free subsets in internally approachable models [J].
Welch, P. D. .
ARCHIVE FOR MATHEMATICAL LOGIC, 2025, 64 (3-4) :435-443
[36]   Guessing models and generalized Laver diamond [J].
Viale, Matteo .
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (11) :1660-1678
[37]   THE WEIHRAUCH LATTICE AT THE LEVEL OF.11-CA0: THE CANTOR-BENDIXSON THEOREM [J].
Cipriani, Vittorio ;
Marcone, Alberto ;
Valenti, Manlio .
JOURNAL OF SYMBOLIC LOGIC, 2025, :752-790
[38]   SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE [J].
Woodin, W. Hugh .
JOURNAL OF MATHEMATICAL LOGIC, 2011, 11 (02) :115-436
[39]   Small models, large cardinals, and induced ideals [J].
Holy, Peter ;
Lucke, Philipp .
ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (02)
[40]   Elementary epimorphisms between models of set theory [J].
Lubarsky, Robert S. ;
Perlmutter, Norman Lewis .
ARCHIVE FOR MATHEMATICAL LOGIC, 2016, 55 (5-6) :759-766
12345