Studia Logica

, Volume 100, Issue 1, pp 163–173

Fatal Heyting Algebras and Forcing Persistent Sentences

Open Access
Article

DOI: 10.1007/s11225-012-9393-z

Cite this article as:
Esakia, L. & Löwe, B. Stud Logica (2012) 100: 163. doi:10.1007/s11225-012-9393-z

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 HZFC 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

forcing intermediate logics Heyting algebra 
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversiteit van AmsterdamAmsterdamThe Netherlands
  2. 2.Fachbereich MathematikUniversität HamburgHamburgGermany

Personalised recommendations