{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:14:32Z","timestamp":1649182472285},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,7,12]],"date-time":"2007-07-12T00:00:00Z","timestamp":1184198400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s00153-007-0055-1","type":"journal-article","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T01:01:10Z","timestamp":1184634070000},"page":"1-14","source":"Crossref","is-referenced-by-count":1,"title":["On two problems concerning end extensions"],"prefix":"10.1007","volume":"47","author":[{"given":"Ch.","family":"Cornaros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Dimitracopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,12]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-136-3-133-145","volume":"136","author":"Z. Adamowicz","year":"1990","unstructured":"Adamowicz Z. (1990). End extending models of I \u03940\u00a0+\u00a0exp\u00a0+\u00a0B\u03a31. Fund. Math. 136: 133\u2013145","journal-title":"Fund. Math."},{"key":"55_CR2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.4064\/fm-127-2-163-170","volume":"127","author":"P. Clote","year":"1986","unstructured":"Clote P. (1986). A note on the MacDowell\u2013Specker theorem. Fund. Math. 127: 163\u2013170","journal-title":"Fund. Math."},{"key":"55_CR3","volume-title":"Metamathematics of first-order arithmetic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P. and Pudl\u00e1k P. (1998). Metamathematics of first-order arithmetic. Springer, Berlin"},{"key":"55_CR4","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1017\/S0022481200027948","volume":"53","author":"R. Kaye","year":"1988","unstructured":"Kaye R., Paris J. and Dimitracopoulos C. (1988). On parameter free induction schemas. J. Symbolic Logic 53: 1082\u20131097","journal-title":"J. Symbolic Logic"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Kirby, L.A.S., Paris, J.B.: Initial segments of models of Peano\u2019s axioms. Set theory and hierarchy theory, V. In: Procceedings of Third Conference, Bierutowice, 1976, Lecture Notes in Mathematics, vol. 619, pp. 211\u2013226. Springer, Berlin (1976)","DOI":"10.1007\/BFb0067653"},{"key":"55_CR6","unstructured":"Lessan, H.: Models of Arithmetic, Ph.D. thesis, University of Manchester (1978)"},{"key":"55_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BFb0095667","volume":"890","author":"J.B. Paris","year":"1981","unstructured":"Paris J.B. (1981). Some conservation results for fragments of arithmetic. Lect. Notes Math. 890: 251\u2013262","journal-title":"Lect. Notes Math."},{"key":"55_CR8","unstructured":"Paris, J.B., Dimitracopoulos, C.: Truth definitions for \u03940 formulae, Logic and algorithmic, Monograph. Enseign. Math., vol 30, pp. 317\u2013329. Geneva (1982)"},{"key":"55_CR9","doi-asserted-by":"crossref","unstructured":"Paris, J.B., Kirby, L.A.S.: \u03a3 n -Collection Schemas in Arithmetic, Logic Colloquium \u201977, pp. 199\u2013209. North-Holland, Amsterdam (1978)","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"55_CR10","doi-asserted-by":"crossref","unstructured":"Wilkie, A., Paris, J.: On the existence of end extensions of models of bounded induction. In: Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143\u2013161. North-Holland, Amsterdam (1989)","DOI":"10.1016\/S0049-237X(08)70042-9"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0055-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-007-0055-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0055-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:42Z","timestamp":1558640202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-007-0055-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["55"],"URL":"https:\/\/doi.org\/10.1007\/s00153-007-0055-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,12]]}}}