{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:30:46Z","timestamp":1759825846765,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001829","name":"Utrecht University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001829","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":[[2021,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we show how to construct for a given consistent theory <jats:italic>U<\/jats:italic> a <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\varSigma ^0_1$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msubsup>\n                    <mml:mi>\u03a3<\/mml:mi>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mn>0<\/mml:mn>\n                  <\/mml:msubsup>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>-predicate that both satisfies the L\u00f6b Conditions and the Kreisel Condition\u2014even if <jats:italic>U<\/jats:italic> is unsound. We do this in such a way that <jats:italic>U<\/jats:italic> itself can verify satisfaction of an internal version of the Kreisel Condition.<\/jats:p>","DOI":"10.1007\/s00153-020-00752-5","type":"journal-article","created":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T17:08:10Z","timestamp":1608138490000},"page":"441-468","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["The absorption law"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9452-278X","authenticated-orcid":false,"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,16]]},"reference":[{"issue":"10","key":"752_CR1","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1016\/j.apal.2018.05.001","volume":"169","author":"M Ardeshir","year":"2018","unstructured":"Ardeshir, M., Mojtahedi, M.: The $${\\Sigma }_1$$-provability logic of HA. Ann. Pure Appl. Log. 169(10), 997\u20131043 (2018)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"752_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1070\/IM1990v035n02ABEH000701","volume":"35","author":"LD Beklemishev","year":"1990","unstructured":"Beklemishev, L.D.: On the classification of propositional provability logics. Math. USSR-Izv. 35(2), 247\u2013275 (1990)","journal-title":"Math. USSR-Izv."},{"key":"752_CR3","doi-asserted-by":"publisher","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."},{"issue":"12","key":"752_CR4","doi-asserted-by":"publisher","first-page":"2103","DOI":"10.1016\/j.apal.2017.06.003","volume":"168","author":"A Freund","year":"2017","unstructured":"Freund, A.: Slow reflection. Ann. Pure Appl. Log. 168(12), 2103\u20132128 (2017)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"752_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1215\/00294527-2019-0031","volume":"61","author":"A Freund","year":"2020","unstructured":"Freund, A., Pakhomov, F.: Short proofs for slow consistency. Notre Dame J. Formal Log. 61(1), 31\u201349 (2020)","journal-title":"Notre Dame J. Formal Log."},{"issue":"3","key":"752_CR6","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1016\/j.apal.2012.11.009","volume":"164","author":"SD Friedman","year":"2013","unstructured":"Friedman, S.D., Rathjen, M., Weiermann, A.: Slow consistency. Ann. Pure Appl. Log. 164(3), 382\u2013393 (2013)","journal-title":"Ann. Pure Appl. Log."},{"key":"752_CR7","unstructured":"Grabmayr, B.: On the invariance of G\u00f6del\u2019s Second Theorem with regard to numberings. (2018). ArXiv preprint, arXiv:1803.08392"},{"key":"752_CR8","doi-asserted-by":"publisher","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":"752_CR9","unstructured":"Henk, P.: Nonstandard provability for Peano arithmetic, a modal perspective. Ph.D thesis, ILLC, Amsterdam (2016). http:\/\/www.illc.uva.nl\/Research\/Publications\/Dissertations\/DS\/"},{"key":"752_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic. Springer, Berlin (1993)"},{"key":"752_CR11","unstructured":"Henk, P., Pakhomov, F.: Slow and ordinary provability for Peano arithmetic (2016). ArXiv preprint arXiv:1602.01822"},{"issue":"5\u20136","key":"752_CR12","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s00153-017-0557-4","volume":"56","author":"P Henk","year":"2017","unstructured":"Henk, P., Visser, A.: Interpretability suprema in Peano arithmetic. Arch. Math. Log. 56(5\u20136), 555\u2013584 (2017)","journal-title":"Arch. Math. Log."},{"key":"752_CR13","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1017\/S1755020314000288","volume":"7","author":"V Halbach","year":"2014","unstructured":"Halbach, V., Visser, A.: Self-reference in arithmetic I. Rev. Symb. Log. 7, 671\u2013691 (2014)","journal-title":"Rev. Symb. Log."},{"key":"752_CR14","unstructured":"Henk, P., Yu Shavrukov, V.: A Solovay function for the least 1-inconsistent subtheory of PA. ILLC e-prints, ILLC (2016). https:\/\/eprints.illc.uva.nl\/567\/"},{"key":"752_CR15","unstructured":"Kalsbeek, M.B.: Towards the interpretability logic of $${\\rm I}{\\Delta }_0+{\\sf EXP}$$. Logic Group Preprint Series\u00a061, Faculty of Humanities, Philosophy, Utrecht University (1991). https:\/\/lgps.sites.uu.nl"},{"key":"752_CR16","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/S1385-7258(53)50050-2","volume":"15","author":"G Kreisel","year":"1953","unstructured":"Kreisel, G.: On a problem of Henkin\u2019s. Indag. Math. 15, 405\u2013406 (1953)","journal-title":"Indag. Math."},{"issue":"2","key":"752_CR17","doi-asserted-by":"publisher","first-page":"139","DOI":"10.2307\/2964110","volume":"27","author":"G Kreisel","year":"1962","unstructured":"Kreisel, G.: On weak completeness of intuitionistic predicate logic. J. Symb. Log. 27(2), 139\u2013158 (1962)","journal-title":"J. Symb. Log."},{"issue":"2","key":"752_CR18","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11225-017-9735-y","volume":"106","author":"T Kurahashi","year":"2018","unstructured":"Kurahashi, T.: Arithmetical completeness theorem for modal logic K. Stud. Log. 106(2), 219\u2013235 (2018)","journal-title":"Stud. Log."},{"issue":"6","key":"752_CR19","doi-asserted-by":"publisher","first-page":"1181","DOI":"10.1007\/s11225-017-9782-4","volume":"106","author":"T Kurahashi","year":"2018","unstructured":"Kurahashi, T.: Arithmetical soundness and completeness for $$\\Sigma _2$$-numerations. Stud. Log. 106(6), 1181\u20131196 (2018)","journal-title":"Stud. Log."},{"key":"752_CR20","volume-title":"Aspects of Incompleteness. Lecture Notes in Logic","author":"P Lindstr\u00f6m","year":"2003","unstructured":"Lindstr\u00f6m, P.: Aspects of Incompleteness. Lecture Notes in Logic, vol. 10. ASL\/A.K. Peters, Natick (2003)"},{"key":"752_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"MH L\u00f6b","year":"1955","unstructured":"L\u00f6b, M.H.: Solution of a problem of Leon Henkin. J. Symb. Log. 20, 115\u2013118 (1955)","journal-title":"J. Symb. Log."},{"key":"752_CR22","doi-asserted-by":"publisher","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 (the algebraization of theories which express Theor; X). Stud. Log. 37, 221\u2013236 (1978)","journal-title":"Stud. Log."},{"key":"752_CR23","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-662-55386-2_20","volume-title":"Logic, Language, Information, and Computation","author":"F Pakhomov","year":"2017","unstructured":"Pakhomov, F.: Solovay\u2019s completeness without fixed points. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) Logic, Language, Information, and Computation, pp. 281\u2013294. Springer, Berlin, Heidelberg (2017)"},{"issue":"3","key":"752_CR24","doi-asserted-by":"publisher","first-page":"494","DOI":"10.2307\/2269958","volume":"36","author":"R Parikh","year":"1971","unstructured":"Parikh, R.: Existence and feasibility in arithmetic. J. Symb. Log. 36(3), 494\u2013508 (1971)","journal-title":"J. Symb. Log."},{"key":"752_CR25","volume-title":"Mathematical Logic","author":"WV Quine","year":"1996","unstructured":"Quine, W.V.: Mathematical Logic, Revised edn. Harvard University Press, Cambridge (1996)","edition":"Revised"},{"issue":"4","key":"752_CR26","first-page":"1411","volume":"4","author":"M Rathjen","year":"2017","unstructured":"Rathjen, M.: Long sequences of descending theories and other miscellanea on slow consistency. J. Log. Appl. 4(4), 1411\u20131426 (2017). Special issue dedicated to Gregori Mints","journal-title":"J. Log. Appl."},{"key":"752_CR27","volume-title":"Theory of Formal Systems, Annals of Mathematics Studies","author":"RM Smullyan","year":"1961","unstructured":"Smullyan, R.M.: Theory of Formal Systems, Annals of Mathematics Studies, vol. 47. Princeton University Press, Princeton (1961)"},{"issue":"2","key":"752_CR28","doi-asserted-by":"publisher","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 Log. 30(2), 161\u2013196 (1989)","journal-title":"Notre Dame J. Formal Log."},{"key":"752_CR29","doi-asserted-by":"crossref","unstructured":"Visser, A.: Interpretability logic. In: Petkov, P.P. (ed.) Mathematical Logic, Proceedings of the Heyting 1988 summer school in Varna, Bulgaria, pp. 175\u2013209. Plenum Press, Boston (1990)","DOI":"10.1007\/978-1-4613-0609-2_13"},{"issue":"1\u20132","key":"752_CR30","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11225-012-9385-z","volume":"100","author":"A Visser","year":"2012","unstructured":"Visser, A.: The second incompleteness theorem and bounded interpretations. Stud. Log. 100(1\u20132), 399\u2013418 (2012). https:\/\/doi.org\/10.1007\/s11225-012-9385-z","journal-title":"Stud. Log."},{"issue":"1\u20132","key":"752_CR31","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1002\/malq.201200102","volume":"60","author":"A Visser","year":"2014","unstructured":"Visser, A.: Peano Corto and Peano Basso: a study of local induction in the context of weak theories. Math. Log. Q. 60(1\u20132), 92\u2013117 (2014)","journal-title":"Math. Log. Q."},{"key":"752_CR32","first-page":"133","volume-title":"The Facts Matter, Essays on Logic and Cognition in Honour of Rineke Verbrugge","author":"A Visser","year":"2015","unstructured":"Visser, A.: Oracle bites theory. In: Gosh, S., Szymanik, J. (eds.) The Facts Matter, Essays on Logic and Cognition in Honour of Rineke Verbrugge, pp. 133\u2013147. College Publications, London (2015)"},{"key":"752_CR33","doi-asserted-by":"crossref","unstructured":"Visser, A.: The second incompleteness theorem: reflections and ruminations. In: Horsten, L., Welch, P. (eds.) G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge, pp. 67\u201390. Oxford University Press, Oxford (2016)","DOI":"10.1093\/acprof:oso\/9780198759591.003.0003"},{"issue":"3","key":"752_CR34","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.apal.2015.11.002","volume":"167","author":"A Visser","year":"2016","unstructured":"Visser, A.: Transductions in arithmetic. Ann. Pure Appl. Log. 167(3), 211\u2013234 (2016)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"752_CR35","first-page":"1","volume":"13","author":"A Visser","year":"2019","unstructured":"Visser, A.: Another look at the second incompleteness theorem. Rev. Symb. Log. 13(2), 1\u201327 (2019)","journal-title":"Rev. Symb. Log."},{"issue":"6","key":"752_CR36","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1016\/j.apal.2019.02.001","volume":"170","author":"A Visser","year":"2019","unstructured":"Visser, A., Zoethout, J.: Provability logic and the completeness principle. Ann. Pure Appl. Log. 170(6), 718\u2013753 (2019)","journal-title":"Ann. Pure Appl. Log."},{"key":"752_CR37","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0168-0072(87)90066-2","volume":"35","author":"AJ Wilkie","year":"1987","unstructured":"Wilkie, A.J., Paris, J.B.: On the scheme of induction for bounded arithmetic formulas. Ann. Pure Appl. Log. 35, 261\u2013302 (1987)","journal-title":"Ann. Pure Appl. Log."},{"key":"752_CR38","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1305\/ndjfl\/1094061859","volume":"35","author":"V Yu Shavrukov","year":"1994","unstructured":"Yu Shavrukov, V.: A smart child of Peano\u2019s. Notre Dame J. Formal Log. 35, 161\u2013185 (1994)","journal-title":"Notre Dame J. Formal Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00752-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00752-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00752-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,5]],"date-time":"2021-04-05T15:04:02Z","timestamp":1617635042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00752-5"}},"subtitle":["Or: how to Kreisel a Hilbert\u2013Bernays\u2013L\u00f6b"],"short-title":[],"issued":{"date-parts":[[2020,12,16]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["752"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00752-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,12,16]]},"assertion":[{"value":"11 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}