{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:06:48Z","timestamp":1766084808263,"version":"3.48.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:00:00Z","timestamp":1761868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:00:00Z","timestamp":1761868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11787-025-00398-y","type":"journal-article","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T10:20:06Z","timestamp":1761906006000},"page":"701-719","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reflexivity of $$\\omega $$-Consistency in a General Setting"],"prefix":"10.1007","volume":"19","author":[{"given":"Paulo Guilherme","family":"Santos","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,31]]},"reference":[{"issue":"3","key":"398_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0168-0072(96)00045-0","volume":"85","author":"L Beklemishev","year":"1997","unstructured":"Beklemishev, L.: Induction rules, reflection principles, and provably recursive functions. Ann. Pure Appl. Logic 85(3), 193\u2013242 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"398_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","volume":"60","author":"L Beklemishev","year":"2005","unstructured":"Beklemishev, L.: Reflection principles and provability algebras in formal arithmetic. Russ. Math. Surv. 60(2), 197 (2005)","journal-title":"Russ. Math. Surv."},{"key":"398_CR3","doi-asserted-by":"crossref","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, (1995)","DOI":"10.1017\/CBO9780511625183"},{"key":"398_CR4","unstructured":"Buss, S.: Bounded Arithmetic. Bibliopolis Napoli, (1986)"},{"key":"398_CR5","unstructured":"Buss, S.: Handbook of Proof Theory. Elsevier Science, (1998)"},{"issue":"1","key":"398_CR6","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(1), 35\u201392 (1960)","journal-title":"Fundam. Math."},{"issue":"1","key":"398_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S Feferman","year":"1991","unstructured":"Feferman, S.: Reflecting on incompleteness. J. Symb. Log. 56(1), 1\u201349 (1991)","journal-title":"J. Symb. Log."},{"key":"398_CR8","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Cambridge University Press, (1998)"},{"issue":"5","key":"398_CR9","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. Logic 56(5), 555\u2013584 (2017)","journal-title":"Arch. Math. Logic"},{"issue":"4","key":"398_CR10","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1017\/S1755020317000235","volume":"10","author":"M Kikuchi","year":"2017","unstructured":"Kikuchi, M., Kurahashi, T.: Generalizations of G\u00f6del\u2019s Incompleteness Theorems for $$\\Sigma _n$$-definable Theories of Arithmetic. Review of Symbolic Logic 10(4), 603\u2013616 (2017)","journal-title":"Review of Symbolic Logic"},{"key":"398_CR11","doi-asserted-by":"crossref","unstructured":"Kotlarski, H.: Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, 32, (1986)","DOI":"10.1002\/malq.19860320601"},{"key":"398_CR12","first-page":"108","volume":"22","author":"G Kreisel","year":"1957","unstructured":"Kreisel, G.: A refinement of $$\\omega $$-consistency (abstract). J. Symb. Log. 22, 108\u2013109 (1957)","journal-title":"J. Symb. Log."},{"issue":"6","key":"398_CR13","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. Logica. 106(6), 1181\u20131196 (2018)","journal-title":"Stud. Logica."},{"issue":"3","key":"398_CR14","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1017\/jsl.2018.27","volume":"83","author":"T Kurahashi","year":"2018","unstructured":"Kurahashi, T.: Provability logics relative to a fixed extension of Peano Arithmetic. J. Symb. Log. 83(3), 1229\u20131246 (2018)","journal-title":"J. Symb. Log."},{"key":"398_CR15","unstructured":"Lelyk, M.: Axiomatic theories of truth, bounded induction and reflection principles. Ph.D. Dissertation, University of Warsaw. (2017)"},{"key":"398_CR16","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, P.: Aspects of Incompleteness. Cambridge University Press, (2017)","DOI":"10.1017\/9781316716854"},{"key":"398_CR17","unstructured":"Salehi, S.: On G\u00f6del\u2019s \u201cMuch Weaker\u201d Assumption, ArXiv 2209.07122, (2022)"},{"key":"398_CR18","doi-asserted-by":"crossref","unstructured":"Salehi, S., Seraji, P.: G\u00f6del-Rosser\u2019s Incompleteness Theorem, generalized and optimized for definable theories. Journal of Logic and Computation 27(5), 1391\u20131397, 07 (2016)","DOI":"10.1093\/logcom\/exw025"},{"key":"398_CR19","unstructured":"Smorynski, C.: The incompleteness theorems. In Handbook of Mathematical Logic, pages 821\u2013865. North-Holland, eighth edition, (1993)"},{"key":"398_CR20","unstructured":"Verbrugge, R.: Efficient Metamathematics. PhD Dissertation, University of Amsterdam, (1993)"},{"key":"398_CR21","unstructured":"Visser, A.: An overview of interpretability logic. Logic Group Preprint Series, 174, (1997)"},{"key":"398_CR22","doi-asserted-by":"crossref","unstructured":"Visser, A.: The second incompleteness theorem: Reflections and ruminations. In G\u00f6del\u2019s Disjunction: The scope and limits of mathematical knowledge, L. Horsten and P. Welch (eds.). Oxford University Press, (2016)","DOI":"10.1093\/acprof:oso\/9780198759591.003.0003"},{"issue":"9","key":"398_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2022.103160","volume":"173","author":"A Visser","year":"2022","unstructured":"Visser, A.: Friedman-reflexivity. Ann. Pure Appl. Logic 173(9), 103160 (2022)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00398-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00398-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00398-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:56:57Z","timestamp":1766066217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00398-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,31]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["398"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00398-y","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,10,31]]},"assertion":[{"value":"15 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}