Fatal Heyting Algebras and Forcing Persistent Sentences |
| |
| Authors: | Leo Esakia Benedikt L?we |
| |
| Affiliation: | 1. Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands
2. Fachbereich Mathematik, Universit?t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany
|
| |
| Abstract: | Hamkins and L?we 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
