Hostname: page-component-848d4c4894-hfldf Total loading time: 0 Render date: 2024-05-21T14:34:03.762Z Has data issue: false hasContentIssue false
  • English
  • Français

COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES

Part of: Proof theory and constructive mathematics Set theory

Published online by Cambridge University Press:  23 February 2023

MOHAMMAD GOLSHANI Open the ORCID record for MOHAMMAD GOLSHANI [Opens in a new window]  and
REIHANE ZOGHIFARD
MOHAMMAD GOLSHANI*
Affiliation:
SCHOOL OF MATHEMATICS INSTITUTE FOR RESEARCH IN FUNDAMENTAL SCIENCES (IPM) TEHRAN, 19395-5746, IRAN E-mail: r.zoghi@gmail.com
REIHANE ZOGHIFARD
Affiliation:
SCHOOL OF MATHEMATICS INSTITUTE FOR RESEARCH IN FUNDAMENTAL SCIENCES (IPM) TEHRAN, 19395-5746, IRAN E-mail: r.zoghi@gmail.com
*
E-mail: golshani.m@gmail.com
Get access Rights & Permissions [Opens in a new window]

Abstract

Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.

Keywords

provability logicmeasurable cardinalnormal measure

MSC classification

Primary: 03E35: Consistency and independence results 03E55: Large cardinals 03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Type
Article
Information
The Journal of Symbolic Logic , Volume 89 , Issue 1 , March 2024 , pp. 163 - 174
Check for updates
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abashidze, M., Ordinal completeness of the Gödel–Löb modal system , Intensional Logics and the Logical Structure of Theories (V. Smirnov and M. Bezhanishvili, editors), Metsniereba, Tbilisi, 1985, pp. 49–73 (in Russian).Google Scholar
Aguilera, J. P., A topological completeness theorem for transfinite provability logic. Archive for Mathematical Logic, vol. 22 (2023), pp. 1–38.Google Scholar
Aguilera, J. P. and Fernández-Duque, D., Strong completeness of provability logic for ordinal spaces, this Journal, vol. 82 (2017), no. 2, pp. 608–628.Google Scholar
Bagaria, J., Derived topologies on ordinals and stationary reflection . Transactions of the American Mathematical Society , vol. 371 (2019), no. 3, pp. 1981–2002.CrossRefGoogle Scholar
Beklemishev, L. and Gabelaia, D., Topological completeness of the provability logic $GLP$ . Annals of Pure and Applied Logic , vol. 164 (2013), no. 12, pp. 1201–1223.CrossRefGoogle Scholar
Beklemishev, L. and Gabelaia, D., Topological interpretations of provability logic , Leo Esakia on Duality in Modal and Intuitionistic Logics (G. Bezhanishvili, editor), Outstanding Contributions to Logic, Springer, Dordrecht, 2014, pp. 257–290.CrossRefGoogle Scholar
Beklemishev, L. and Joosten, J. J., Problems collected at the Wormshop 2012 in Barcelona. Available at http://www.mi-ras.ru/bekl/Problems/wormm_problems.pdf.Google Scholar
Ben-Neria, O., The structure of the Mitchell order-II . Annals of Pure and Applied Logic , vol. 166 (2015), no. 12, pp. 1407–1432.CrossRefGoogle Scholar
Ben-Neria, O., The structure of the Mitchell order-I . Israel Journal of Mathematics , vol. 214 (2016), no. 2, pp. 945–982.CrossRefGoogle Scholar
Blass, A., Infinitary combinatorics and modal logic, this Journal, vol. 55 (1990), no. 2, pp. 761–778.Google Scholar
Esakia, L., Diagonal constructions, Löb’s formula and Cantor’s scattered spaces . Studies in Logic and Semantics , vol. 132 (1981), pp. 128–143 (in Russian).Google Scholar
Gitik, M., Prikry-type forcings , Handbook of Set Theory , vols. 1–3 (M. Foreman and A. Kanamori, editors), Springer, Dordrecht, 2010, pp. 1351–1447.CrossRefGoogle Scholar
Harrington, L. and Shelah, S., Some exact equiconsistency results in set theory . Notre Dame Journal of Formal Logic , vol. 26 (1985), no. 2, pp. 178–188.CrossRefGoogle Scholar
Magidor, M., Changing cofinality of cardinals . Fundamenta Mathematicae , vol. 99 (1978), no. 1, pp. 61–71.CrossRefGoogle Scholar
Mitchell, W. J., Sets constructible from sequences of ultrafilters, this Journal, vol. 39 (1974), pp. 57–66.Google Scholar
Segerberg, K., An Essay in Classical Modal Logic, Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet, 1971.Google Scholar