{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:51Z","timestamp":1760202651317},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T00:00:00Z","timestamp":1392854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s00153-014-0371-1","type":"journal-article","created":{"date-parts":[[2014,2,19]],"date-time":"2014-02-19T06:27:47Z","timestamp":1392791267000},"page":"385-431","source":"Crossref","is-referenced-by-count":10,"title":["The polytopologies of transfinite provability logic"],"prefix":"10.1007","volume":"53","author":[{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,2,20]]},"reference":[{"key":"371_CR1","unstructured":"Abashidze, M.: Ordinal completeness of the G\u00f6del-L\u00f6b modal system. In: Intensional logics and the logical structure of theories, pp. 49\u201373. Tbilisi (1985, in Russian)"},{"key":"371_CR2","unstructured":"Bagaria, J., Magidor, M., Sakai, H.: Reflection and indescribability in the constructible universe. Israel J. Math. (2013). Accepted for publication"},{"key":"371_CR3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","volume":"128","author":"L.D. Beklemishev","year":"2004","unstructured":"Beklemishev L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Log. 128, 103\u2013124 (2004)","journal-title":"Ann. Pure Appl. Log."},{"key":"371_CR4","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1016\/j.apal.2009.06.011","volume":"161","author":"L.D. Beklemishev","year":"2010","unstructured":"Beklemishev L.D.: Kripke semantics for provability logic GLP. Ann. Pure Appl. Log. 161, 756\u2013774 (2010)","journal-title":"Ann. Pure Appl. Log."},{"key":"371_CR5","doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D.: Ordinal completeness of bimodal provability logic GLP. In: Proceedings of the 8th International Tbilisi conference on Logic, Language, and Computation, TbiLLC\u201909, pp. 1\u201315. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-22303-7_1"},{"key":"371_CR6","doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D., Bezhanishvili, G., Icard, T.F.: On topological models of GLP. In: Schindler, R. (ed.) Ways of Proof Theory, pp. 133\u2013152. Ontos Verlag, Heusendamm bei Frankfurt, Germany (2010)","DOI":"10.1515\/9783110324907.135"},{"key":"371_CR7","doi-asserted-by":"crossref","unstructured":"Beklemishev, L.D., Fern\u00e1ndez-Duque, D., Joosten, J.J.: On provability logics with linearly ordered modalities. Studia Logica (2013). doi: 10.1007\/s11225-013-9490-7","DOI":"10.1007\/s11225-013-9490-7"},{"key":"371_CR8","unstructured":"Beklemishev, L.D., Gabelaia, D.: Topological interpretations of provability logic. ArXiv, 1210.7317 [math.LO] (2012)"},{"issue":"12","key":"371_CR9","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1016\/j.apal.2013.06.008","volume":"164","author":"L.D. Beklemishev","year":"2013","unstructured":"Beklemishev L.D., Gabelaia D.: Topological completeness of the provability logic GLP. Ann. Pure Appl. Log. 164(12), 1201\u20131223 (2013)","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"371_CR10","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","volume":"81","author":"G. Bezhanishvili","year":"2005","unstructured":"Bezhanishvili G., Esakia L., Gabelaia D.: Some results on modal axiomatization and definability for topological spaces. Stud. Log. 81(3), 325\u2013355 (2005)","journal-title":"Stud. Log."},{"issue":"3","key":"371_CR11","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/s00153-010-0175-x","volume":"49","author":"G. Bezhanishvili","year":"2010","unstructured":"Bezhanishvili G., Morandi P.J.: Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49(3), 343\u2013365 (2010)","journal-title":"Arch. Math. Log."},{"issue":"2","key":"371_CR12","doi-asserted-by":"crossref","first-page":"761","DOI":"10.2307\/2274663","volume":"55","author":"A. Blass","year":"1990","unstructured":"Blass A.: Infinitary combinatorics and modal logic. J. Symb. Log. 55(2), 761\u2013778 (1990)","journal-title":"J. Symb. Log."},{"issue":"2","key":"371_CR13","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2178\/jsl.7802110","volume":"78","author":"D. Fern\u00e1ndez-Duque","year":"2011","unstructured":"Fern\u00e1ndez-Duque D., Joosten J.J.: Models of transfinite provability logic. J. Symb. Log. 78(2), 543\u2013561 (2011)","journal-title":"J. Symb. Log."},{"key":"371_CR14","unstructured":"Fern\u00e1ndez-Duque, D., Joosten, J.J.: Well-orders in the transfinite Japaridze algebra. ArXiv, 1212.3468 [math.LO] (2011)"},{"issue":"7\u20138","key":"371_CR15","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1016\/j.apal.2013.01.002","volume":"164","author":"D. Fern\u00e1ndez-Duque","year":"2013","unstructured":"Fern\u00e1ndez-Duque D., Joosten J.J.: Hyperations, Veblen progressions, and transfinite iteration of ordinal functions. Ann. Pure Appl. Log. 164(7\u20138), 785\u2013801 (2013)","journal-title":"Ann. Pure Appl. Log."},{"issue":"4","key":"371_CR16","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1093\/logcom\/exp043","volume":"21","author":"T.F. Icard","year":"2011","unstructured":"Icard T.F.: A topological study of the closed fragment of GLP. J. Log. Comput. 21(4), 683\u2013696 (2011)","journal-title":"J. Log. Comput."},{"issue":"2","key":"371_CR17","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1215\/00294527-1715653","volume":"53","author":"T.F. Icard","year":"2012","unstructured":"Icard T.F., Joosten J.J.: Provability and interpretability logics with restricted realizations. Notre Dame J. Formal Log. 53(2), 133\u2013154 (2012)","journal-title":"Notre Dame J. Formal Log."},{"issue":"1","key":"371_CR18","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2275337","volume":"58","author":"K.N. Ignatiev","year":"1993","unstructured":"Ignatiev K.N.: On strong provability predicates and the associated modal logics. J. Symb. Log. 58(1), 249\u2013290 (1993)","journal-title":"J. Symb. Log."},{"key":"371_CR19","unstructured":"Japaridze, G.: The polymodal provability logic. In: Intensional Logics and the Logical Structure of Theories: Material from the Fourth Soviet-Finnish Symposium on Logic, pp. 16\u201348. Telavi (1988, in Russian)"},{"key":"371_CR20","unstructured":"Joosten, J.J.: Interpretabilty formalized. PhD Tesis (2004)"},{"key":"371_CR21","volume-title":"Proof Theory, The First Step into Impredicativity","author":"W. Pohlers","year":"2009","unstructured":"Pohlers W.: Proof Theory, The First Step into Impredicativity. Springer, Berlin (2009)"},{"key":"371_CR22","unstructured":"Segerberg, K.: An essay in classical modal logic. Uppsala Philosophical Studies, pp. 1\u20133 (1971)"},{"issue":"3\u20134","key":"371_CR23","first-page":"33","volume":"28","author":"R.M. Solovay","year":"1976","unstructured":"Solovay R.M.: Provability interpretations of modal logic. Israel J. Math. 28(3\u20134), 33\u201371 (1976)","journal-title":"Israel J. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0371-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0371-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0371-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,27]],"date-time":"2022-03-27T00:05:41Z","timestamp":1648339541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0371-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,20]]},"references-count":23,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["371"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0371-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,20]]}}}