Fatal Heyting Algebras and Forcing Persistent Sentences

被引：6

作者：

Esakia, Leo

Lowe, Benedikt ^{[1
,2
]}

机构：

[1] Univ Amsterdam, Inst Log Language & Computat, NL-1090 GE Amsterdam, Netherlands

[2] Univ Hamburg, Fachbereich Math, D-20146 Hamburg, Germany

来源：

STUDIA LOGICA | 2012年 / 100卷 / 1-2期

关键词：

forcing; intermediate logics; Heyting algebra;

D O I：

10.1007/s11225-012-9393-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Hamkins and Lowe proved that the modal logic of forcing is S4.2. In this paper, we consider its modal companion, the intermediate logic KC and relate it to the fatal Heyting algebra H-ZFC of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras.

引用

页码：163 / 173

页数：11

共 13 条

[1]

Adamek J., 2011, ALGEBRAIC THEORIES C, V184

[2] The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem [J].