THE MODAL LOGIC OF INNER MODELS

被引：3

作者：

Inamdar, Tanmay ^{[1
]}

Lowe, Benedikt ^{[2
,3
,4
]}

机构：

[1] Univ E Anglia, Sch Math, Norwich Res Pk, Norwich NR4 7TJ, Norfolk, England

[2] Univ Amsterdam, Inst Log Language & Computat, Postbus 94242, NL-1090 GE Amsterdam, Netherlands

[3] Univ Hamburg, Fachbereich Math, Bundesstr 55, D-20146 Hamburg, Germany

[4] Univ Cambridge Corpus Christi Coll, Trumpington St, Cambridge CB2 1RH, England

来源：

关键词：

Modal logic; multiverse; inner model; ground model; forcing; MAXIMALITY PRINCIPLES; LARGE CARDINALS;

D O I：

10.1017/jsl.2015.67

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Using techniques developed by Hamkins, Reitz and the second author, we determine the modal logic of inner models.

引用

页码：225 / 236

页数：12