{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T18:40:14Z","timestamp":1718304014485},"reference-count":19,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1215\/00294527-3452693","type":"journal-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T13:58:32Z","timestamp":1452175112000},"source":"Crossref","is-referenced-by-count":3,"title":["End Extensions of Models of Weak Arithmetic Theories"],"prefix":"10.1215","volume":"57","author":[{"given":"Costas","family":"Dimitracopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasileios S.","family":"Paschalis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Adamowicz, Z., \u201cEnd-extending models of $I\\Delta_{0}+\\exp+B\\Sigma_{1}$,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 136 (1990), pp. 133\u201345.","DOI":"10.4064\/fm-136-3-133-145"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Adamowicz, Z., \u201cA sharp version of the bounded Matijasevich conjecture and the end-extension problem,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 57 (1992), pp. 597\u2013616.","DOI":"10.2307\/2275295"},{"key":"3","unstructured":"[3] Bell, J. L., and M. Machover, <i>A Course in Mathematical Logic<\/i>, North-Holland, Amsterdam, 1977."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Boughattas, S., \u201cL\u2019arithm\u00e9tique ouverte et ses mod\u00e8les non-standards,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 56 (1991), pp. 700\u201314.","DOI":"10.2307\/2274712"},{"key":"5","unstructured":"[5] Buss, S. R., <i>Bounded Arithmetic<\/i>, vol. 3 of <i>Studies in Proof Theory: Lecture Notes<\/i>, Bibliopolis, Naples, 1986."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Buss, S. R., \u201cAxiomatizations and conservation results for fragments of bounded arithmetic,\u201d pp. 57\u201384 in <i>Logic and Computation (Pittsburgh, PA, 1987)<\/i>, vol. 106 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 1990.","DOI":"10.1090\/conm\/106\/1057816"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Clote, P., \u201cA note on the MacDowell-Specker theorem,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 127 (1987), pp. 163\u201370. Erratum, <i>Fundamenta Mathematicae<\/i>, vol. 158 (1998), pp. 301\u20132.","DOI":"10.4064\/fm-127-2-163-170"},{"key":"8","unstructured":"[8] Clote, P., and J. Kraj\u00ed\u010dek, comps., \u201cOpen problems,\u201d pp. 1\u201319 in <i>Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991)<\/i>, vol. 23 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1993."},{"key":"9","unstructured":"[9] Gaifman, H., and C. Dimitracopoulos, \u201cFragments of Peano\u2019s arithmetic and the MRDP theorem,\u201d pp. 187\u2013206 in <i>Logic and Algorithmic (Z\u00fcrich, 1980)<\/i>, vol. 30 of <i>Monographies de L\u2019Enseignement Math\u00e9matique<\/i>, Universit\u00e9 de Gen\u00e8ve, Geneva, 1982."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] H\u00e1jek, P., and P. Pudl\u00e1k, <i>Metamathematics of First-Order Arithmetic<\/i>, vol. 3 of <i>Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"11","unstructured":"[11] Hilbert, D., and P. Bernays, <i>Grundlagen der Mathematik, II<\/i>, vol. 50 of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer, Berlin, 1939."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Kaye, R., <i>Models of Peano Arithmetic<\/i>, vol. 15 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1991.","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"13","unstructured":"[13] Lessan, H., \u201cModels of arithmetic,\u201d Ph.D. dissertation, University of Manchester, Manchester, England, 1978."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] McAloon, K., \u201cCompleteness theorems, incompleteness theorems and models of arithmetic,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 239 (1978), pp. 253\u201377.","DOI":"10.1090\/S0002-9947-1978-0487048-9"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Paris, J. B., \u201cSome conservation results for fragments of arithmetic,\u201d pp. 251\u201362 in <i>Model Theory and Arithmetic (Paris, 1979\u20131980)<\/i>, vol. 890 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1981.","DOI":"10.1007\/BFb0095667"},{"key":"16","unstructured":"[16] Paris, J. B., and C. Dimitracopoulos, \u201cTruth definitions for $\\Delta_{0}$ formulae,\u201d pp. 317\u201329 in <i>Logic and Algorithmic (Z\u00fcrich, 1980)<\/i>, vol. 30 of <i>Monographies de L\u2019Enseignement Math\u00e9matique<\/i>, Universit\u00e9 de Gen\u00e8ve, Geneva, 1982."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Paris, J. B., and L. A. S. Kirby, \u201c$\\Sigma_{n}$-collection schemas in arithmetic,\u201d pp. 199\u2013209 in <i>Logic Colloquium \u201977 (Wroclaw, 1977)<\/i>, vol. 96 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1978.","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Wilkie, A. J., and J. B. Paris, \u201cOn the scheme of induction for bounded arithmetic formulas,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 35 (1987), pp. 261\u2013302.","DOI":"10.1016\/0168-0072(87)90066-2"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Wilkie, A. J., and J. B. Paris, \u201cOn the existence of end extensions of models of bounded induction,\u201d pp. 143\u201361 in <i>Logic, Methodology and Philosophy of Science, VIII (Moscow, 1987)<\/i>, vol. 126 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1989.","DOI":"10.1016\/S0049-237X(08)70042-9"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3452693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T17:38:12Z","timestamp":1718300292000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-57\/issue-2\/End-Extensions-of-Models-of-Weak-Arithmetic-Theories\/10.1215\/00294527-3452693.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":19,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3452693","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}