{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:02:11Z","timestamp":1766084531047,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T00:00:00Z","timestamp":1495756800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001827","name":"University of Amsterdam","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001827","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s00153-017-0557-4","type":"journal-article","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T00:20:30Z","timestamp":1495758030000},"page":"555-584","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Interpretability suprema in Peano Arithmetic"],"prefix":"10.1007","volume":"56","author":[{"given":"Paula","family":"Henk","sequence":"first","affiliation":[]},{"given":"Albert","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,26]]},"reference":[{"key":"557_CR1","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274474","volume":"55","author":"A Berarducci","year":"1990","unstructured":"Berarducci, A.: The interpretability logic of Peano arithmetic. J. Symb. Logic 55, 1059\u20131089 (1990)","journal-title":"J. Symb. Logic"},{"key":"557_CR2","volume-title":"The Logic of Provability","author":"G Boolos","year":"1993","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"557_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01977641","volume":"5","author":"A Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A., Feferman, S.: Representability op recursively enumerable sets in formal theories. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 5(1), 37\u201341 (1961). doi: 10.1007\/BF01977641","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"557_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 35\u201392 (1960)","journal-title":"Fundam. Math."},{"key":"557_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1090\/S0002-9947-1979-0539907-7","volume":"254","author":"D Guaspari","year":"1979","unstructured":"Guaspari, D.: Partially conservative extensions of arithmetic. Trans. Am. Math. Soc. 254, 47\u201368 (1979)","journal-title":"Trans. Am. Math. Soc."},{"key":"557_CR6","first-page":"73","volume":"12","author":"P H\u00e1jek","year":"1971","unstructured":"H\u00e1jek, P.: On interpretability in set theories I. Commun. Math. Univ. Carolinae 12, 73\u201379 (1971)","journal-title":"Commun. Math. Univ. Carolinae"},{"key":"557_CR7","volume-title":"Metamathematics of First-Order Arithmetic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Springer, Berlin (1998)"},{"key":"557_CR8","unstructured":"H\u00e1jkov\u00e1, M., H\u00e1jek, P.: On interpretability in theories containing arithmetic. Fundam. Math. 76(2), 131\u2013137 (1972). http:\/\/eudml.org\/doc\/214455"},{"key":"557_CR9","unstructured":"Henk, P., Pakhomov, F.: Slow and Ordinary Provability for Peano Arithmetic. ArXiv e-prints (2016)"},{"key":"557_CR10","unstructured":"Henk, P., Shavrukov, V. Yu.: A Solovay function for the least 1-inconsistent subtheory of PA. Prepublication Series. Report No. PP-2016-31. ILLC, University of Amsterdam (2016)"},{"key":"557_CR11","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik II. Springer, Berlin (1939). Second edition: 1970","DOI":"10.1007\/978-3-642-86896-2"},{"key":"557_CR12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4064\/fm-72-1-17-40","volume":"72","author":"RG Jeroslow","year":"1971","unstructured":"Jeroslow, R.G.: Consistency statements in formal theories. Fundam. Math. 72, 17\u201340 (1971)","journal-title":"Fundam. Math."},{"key":"557_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF00370387","volume":"50","author":"D Jongh de","year":"1991","unstructured":"de Jongh, D., Jumelet, M., Montagna, F.: On the proof of Solovay\u2019s theorem. Stud. Log. 50, 51\u201370 (1991)","journal-title":"Stud. Log."},{"key":"557_CR14","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Veltman, F.: Provability logics for relative interpretability. In: Mathematical logic, Proceedings of the Heyting 1988 summer school in Varna, Bulgaria, pp. 31\u201342. Plenum Press, Boston (1990)","DOI":"10.1007\/978-1-4613-0609-2_3"},{"issue":"2","key":"557_CR15","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1305\/ndjfl\/1093870573","volume":"25","author":"P Lindstr\u00f6m","year":"1984","unstructured":"Lindstr\u00f6m, P.: On certain lattices of degrees of interpretability. Notre Dame J. Formal Logic 25(2), 127\u2013140 (1984). doi: 10.1305\/ndjfl\/1093870573","journal-title":"Notre Dame J. Formal Logic"},{"key":"557_CR16","unstructured":"Lindstr\u00f6m, P.: Some results on interpretability. In: F. Jensen, M. B.H., M. K.K. (eds.) Proceedings of the 5th Scandinavian Logic Symposium 1979, pp. 329\u2013361. Aalborg University Press, Aalborg (1979)"},{"key":"557_CR17","unstructured":"Lindstr\u00f6m, P.: On Parikh provability\u2014an exercise in modal logic. In: H.\u00a0Lagerlund, S.\u00a0Lindstr\u00f6m, R.\u00a0Sliwinski (eds.) Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53, pp. 279\u2013288 (2006)"},{"key":"557_CR18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"M L\u00f6b","year":"1955","unstructured":"L\u00f6b, M.: Solution of a problem of Leon Henkin. J. Symb. Logic 20, 115\u2013118 (1955)","journal-title":"J. Symb. Logic"},{"key":"557_CR19","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02124724","volume":"37","author":"F Montagna","year":"1978","unstructured":"Montagna, F.: On the algebraization of a Feferman\u2019s predicate. Stud. Log. 37, 221\u2013236 (1978)","journal-title":"Stud. Log."},{"key":"557_CR20","unstructured":"Montague, R.: Theories incomparable with respect to relative interpretability. J. Symb. Logic 27(2), 195\u2013211 (1962). http:\/\/projecteuclid.org\/euclid.jsl\/1183734432"},{"key":"557_CR21","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19870330407","volume":"33","author":"H Ono","year":"1987","unstructured":"Ono, H.: Reflection principles in fragments of Peano arithmetic. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 33, 317\u2013333 (1987)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"557_CR22","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1002\/malq.19610070710","volume":"7","author":"S Orey","year":"1961","unstructured":"Orey, S.: Relative interpretations. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 7, 146\u2013153 (1961)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"557_CR23","unstructured":"Parikh, R.: Existence and feasibility in arithmetic. J. Symb. Logic 36(3), 494\u2013508 (1971). http:\/\/www.jstor.org\/stable\/2269958"},{"key":"557_CR24","unstructured":"Shavrukov, V.: The logic of relative interpretability over Peano arithmetic (in Russian). Tech. Rep. No.5, Steklov Mathematical Institute, Moscow (1988)"},{"key":"557_CR25","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1094061859","volume":"35","author":"V Shavrukov","year":"1994","unstructured":"Shavrukov, V.: A smart child of Peano\u2019s. Notre Dame J. Formal Logic 35, 161\u2013185 (1994)","journal-title":"Notre Dame J. Formal Logic"},{"key":"557_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01624079","volume":"28","author":"C Smory\u0144ski","year":"1989","unstructured":"Smory\u0144ski, C.: Arithmetic analogues of McAloon\u2019s unique Rosser sentences. Arch. Math. Logic 28, 1\u201321 (1989)","journal-title":"Arch. Math. Logic"},{"key":"557_CR27","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R Solovay","year":"1976","unstructured":"Solovay, R.: Provability interpretations of modal logic. Israel J. Math. 25, 287\u2013304 (1976)","journal-title":"Israel J. Math."},{"key":"557_CR28","first-page":"789","volume":"19","author":"V \u0160vejdar","year":"1978","unstructured":"\u0160vejdar, V.: Degrees of interpretability. Comment. Math. Univ. Carolinae 19, 789\u2013813 (1978)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"557_CR29","volume-title":"Undecidable Theories","author":"A Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., Robinson, R.: Undecidable Theories. North-Holland, Amsterdam (1953)"},{"key":"557_CR30","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093635077","volume":"30","author":"A Visser","year":"1989","unstructured":"Visser, A.: Peano\u2019s smart children: A provability logical study of systems with built-in consistency. Notre Dame J. Formal Logic 30, 161\u2013196 (1989)","journal-title":"Notre Dame J. Formal Logic"},{"key":"557_CR31","doi-asserted-by":"crossref","first-page":"131","DOI":"10.2307\/2275181","volume":"57","author":"A Visser","year":"1992","unstructured":"Visser, A.: An inside view of EXP. J. Symb. Logic 57, 131\u2013165 (1992)","journal-title":"J. Symb. Logic"},{"key":"557_CR32","unstructured":"Visser, A.: An Overview of Interpretability Logic. In: M.\u00a0Kracht, M.\u00a0de\u00a0Rijke, H.\u00a0Wansing, M.\u00a0Zakharyaschev (eds.) Advances in Modal Logic, vol 1, CSLI Lecture Notes, no. 87, pp. 307\u2013359. Center for the Study of Language and Information, Stanford (1998)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0557-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0557-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0557-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:29:27Z","timestamp":1569371367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0557-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,26]]},"references-count":32,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["557"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0557-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2017,5,26]]}}}