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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adámek J., Rosický J., Vitale E. M.: Algebraic theories. A categorical introduction to general algebra, vol. 184 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2011)
Bezhanishvili G.: ‘The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem’. Annals of Pure and Applied Logic 161(3), 253–267 (2009)
Chagrov, A., and M. Zakharyaschev, Modal logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.
Dummett M., Lemmon E.: ‘Modal logics between S4 and S5’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 3, 250–264 (1959)
Gödel K.: ‘Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes’. Dialectica 12, 280–287 (1958)
Hamkins J. D., Löwe B.: ‘The modal logic of forcing’. Transactions of the American Mathematical Society 360, 1793–1817 (2008)
Johnstone P. T.: Stone spaces, vol. 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1982)
Kiss E.W., Márki L., Prőhle P., Tholen W.: ‘Categorical algebraic properties.A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity’. Studia Scientiarum Mathematicarum Hungarica 18(1), 79–140 (1982)
Löwe B., Sarenac D.: ‘Cardinal spaces and topological representations of bimodal logics’. Logic Journal of the IGPL 13, 301–306 (2005)
Maksimova L. L.: ‘Craig’s theorem in superintuitionistic logics and amalgamable varieties’. Algebra and Logic 16(6), 427–455 (1977)
McKinsey J. Ch. Ch., Tarski A.: ‘Some theorems about the sentential calculi of Lewis and Heyting’. Journal of Symbolic Logic13, 1–15 (1948)
Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, vol. 41 of Monografie Matematyczne, Państwowe Wydawnictwo Naukowe, Warsaw, 1963.
Tarski A.: ‘A remark on functionally free algebras’. Annals of Mathematics 47, 163–165 (1946)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Esakia, L., Löwe, B. Fatal Heyting Algebras and Forcing Persistent Sentences. Stud Logica 100, 163–173 (2012). https://doi.org/10.1007/s11225-012-9393-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9393-z