{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:04Z","timestamp":1740108184224,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T00:00:00Z","timestamp":1581379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T00:00:00Z","timestamp":1581379200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s00153-019-00708-4","type":"journal-article","created":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T09:07:58Z","timestamp":1581412078000},"page":"817-833","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["End extensions of models of fragments of PA"],"prefix":"10.1007","volume":"59","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8665-263X","authenticated-orcid":false,"given":"C.","family":"Dimitracopoulos","sequence":"first","affiliation":[]},{"given":"V.","family":"Paschalis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,11]]},"reference":[{"key":"708_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.4064\/fm-136-3-133-145","volume":"136","author":"Z Adamowicz","year":"1990","unstructured":"Adamowicz, Z.: End-extending models of $$I\\Delta _0 + exp + B\\Sigma _1$$. Fundam. Math. 136, 133\u2013145 (1990)","journal-title":"Fundam. Math."},{"key":"708_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0168-0072(93)90196-K","volume":"61","author":"Z Adamowicz","year":"1993","unstructured":"Adamowicz, Z.: A contribution to the end-extension problem and the $$\\Pi _1$$ consrvativeness problem. Ann. Pure Appl. Log. 61, 3\u201348 (1993)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"708_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.4064\/fm-127-2-163-170","volume":"127","author":"P Clote","year":"1986","unstructured":"Clote, P.: A note on the MacDowell\u2013Specker theorem. Fundam. Math. 127(2), 163\u2013170 (1986)","journal-title":"Fundam. Math."},{"issue":"3","key":"708_CR4","doi-asserted-by":"crossref","first-page":"301","DOI":"10.4064\/fm-158-3-301-302","volume":"158","author":"P Clote","year":"1998","unstructured":"Clote, P.: A note on the MacDowell\u2013Specker theorem. Fundam. Math. 158(3), 301\u2013302 (1998)","journal-title":"Fundam. Math."},{"key":"708_CR5","unstructured":"Clote, P., Kraji\u010dek, J.: Open problems, Oxford logic guides. In: Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991), vol. 23, pp. 1\u201319. Oxford University Press, New York (1993)"},{"key":"708_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1215\/00294527-3452693","volume":"57","author":"C Dimitracopoulos","year":"2016","unstructured":"Dimitracopoulos, C., Paschalis, V.: End extensions of models of weak arithmetic theories. Notre Dame J. Form. Log. 57, 181\u2013193 (2016)","journal-title":"Notre Dame J. Form. Log."},{"key":"708_CR7","unstructured":"Dimitracopoulos, C., Paschalis, V.: End extensions of models of arithmetic theories, II. In: Proceedings of the 11th Panhellenic Logic Symposium (Delphi, 2017), pp. 226\u2013231"},{"key":"708_CR8","doi-asserted-by":"publisher","first-page":"1247","DOI":"10.1016\/j.apal.2016.12.003","volume":"168","author":"A Enayat","year":"2017","unstructured":"Enayat, A., Wong, T.L.: Unifying the model theory of first-order and second-order arithmetic via $$WKL^*_0$$. Ann. Pure Appl. Log. 168, 1247\u20131252 (2017)","journal-title":"Ann. Pure Appl. Log."},{"key":"708_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0003-4843(76)90002-4","volume":"9","author":"H Gaifman","year":"1976","unstructured":"Gaifman, H.: Models and types of Peano\u2019s arithmetic. Ann. Math. Log. 9, 223\u2013306 (1976)","journal-title":"Ann. Math. Log."},{"key":"708_CR10","first-page":"185","volume-title":"Arithmetic, Proof Theory and Computational Complexity, Oxford Logic Guides","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P.: Interpretability and fragments of arithmetic. In: Clote, P., Kraj\u00ed\u010dek, J. (eds.) Arithmetic, Proof Theory and Computational Complexity, Oxford Logic Guides, vol. 23, pp. 185\u2013196. Clarendon Press, Oxford (1993)"},{"key":"708_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Springer, Berlin (1993)"},{"key":"708_CR12","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic. Oxford Logic Guides","author":"R Kaye","year":"1991","unstructured":"Kaye, R.: Models of Peano Arithmetic. Oxford Logic Guides, vol. 15. Oxford University Press, New York (1991)"},{"key":"708_CR13","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.1017\/S0022481200027948","volume":"53","author":"R Kaye","year":"1988","unstructured":"Kaye, R., Paris, J., Dimitracopoulos, C.: On parameter free induction schemas. J. Symb. Log. 53, 1082\u20131097 (1988)","journal-title":"J. Symb. Log."},{"key":"708_CR14","unstructured":"MacDowell, R., Specker, E.: Modelle der Arithmetik. In: Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics, pp. 257\u2013263. Pergamon Press, Oxford (1961)"},{"key":"708_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BFb0095667","volume-title":"Some Conservation Results for Fragments of Arithmetic, Model Theory and Arithmetic (Paris, 1979\u20131980)","author":"JB Paris","year":"1981","unstructured":"Paris, J.B.: Some Conservation Results for Fragments of Arithmetic, Model Theory and Arithmetic (Paris, 1979\u20131980). Lecture Notes in Mathematics, vol. 890, pp. 251\u2013262. Springer, Berlin (1981)"},{"key":"708_CR16","doi-asserted-by":"crossref","unstructured":"Paris, J.B., Kirby, L.A.S.: $$\\Sigma _{n}$$-collection schemas in arithmetic. In: Logic Colloquium \u201977 (Proc. Conf., Wroclaw, 1977), pp. 199\u2013209, North-Holland, Amsterdam, New York (1978)","DOI":"10.1016\/S0049-237X(08)72003-2"},{"issue":"3","key":"708_CR17","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(3), 261\u2013302 (1987)","journal-title":"Ann. Pure Appl. Log."},{"key":"708_CR18","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0049-237X(08)70042-9","volume-title":"On the Existence of End Extensions of Models of Bounded Induction, Logic, Methodology and Philosophy of Science, VIII (Moscow, 1987)","author":"A Wilkie","year":"1989","unstructured":"Wilkie, A., Paris, J.: On the Existence of End Extensions of Models of Bounded Induction, Logic, Methodology and Philosophy of Science, VIII (Moscow, 1987). Studies in Logic and the Foundations of Mathematics, vol. 126, pp. 143\u2013161. Elsevier, Amsterdam (1989)"},{"key":"708_CR19","doi-asserted-by":"publisher","first-page":"4021","DOI":"10.1090\/proc\/13125","volume":"144","author":"TL Wong","year":"2016","unstructured":"Wong, T.L.: Interpreting weak K\u00f6nig\u2019s lemma using the arithmetized completeness theorem. Proc. Am. Math. Soc. 144, 4021\u20134024 (2016)","journal-title":"Proc. Am. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00708-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00708-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00708-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T12:14:32Z","timestamp":1722428072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00708-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,11]]},"references-count":19,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["708"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00708-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,2,11]]},"assertion":[{"value":"5 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}