{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:57Z","timestamp":1740108177720,"version":"3.37.3"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T00:00:00Z","timestamp":1494806400000},"content-version":"unspecified","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":[[2017,8]]},"DOI":"10.1007\/s00153-017-0556-5","type":"journal-article","created":{"date-parts":[[2017,5,14]],"date-time":"2017-05-14T23:41:31Z","timestamp":1494805291000},"page":"541-553","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Minimal elementary end extensions"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0545-8339","authenticated-orcid":false,"given":"James H.","family":"Schmerl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,15]]},"reference":[{"key":"556_CR1","unstructured":"Gaifman, H.: On local arithmetical functions and their application for constructing types of Peano\u2019s arithmetic. In: Mathematical Logic and Foundations of Set Theory (Proceedings of the International Colloquium, Jerusalem, 1968). North-Holland, Amsterdam, pp. 105\u2013121 (1970)"},{"key":"556_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1017\/S0022481200051719","volume":"41","author":"JF Knight","year":"1976","unstructured":"Knight, J.F.: Omitting types in set theory and arithmetic. J. Symb. Log. 41, 25\u201332 (1976)","journal-title":"J. Symb. Log."},{"key":"556_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001","volume-title":"The Structure of Models of Peano Arithmetic","author":"R Kossak","year":"2006","unstructured":"Kossak, R., Schmerl, J.H.: The Structure of Models of Peano Arithmetic. Oxford University Press, Oxford (2006)"},{"key":"556_CR4","unstructured":"MacDowell, R., Specker, E.: Modelle der Arithmetik. In: Infinitistic Methods (Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959). Pergamon, Oxford, Warsaw, pp. 257\u2013263 (1961)"},{"key":"556_CR5","doi-asserted-by":"crossref","unstructured":"Phillips, R.G.: Omitting types in arithmetic and conservative extensions. In: Victoria Symposium on Nonstandard Analysis (Univ. Victoria, Victoria, B.C., 1972), Lecture Notes in Mathematics, vol. 369, pp. 195\u2013202. Springer, Berlin (1974)","DOI":"10.1007\/BFb0066013"},{"key":"556_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1307\/mmj\/1029001205","volume":"21","author":"RG Phillips","year":"1974","unstructured":"Phillips, R.G.: A minimal extension that is not conservative. Mich. Math. J. 21, 27\u201332 (1974)","journal-title":"Mich. Math. J."},{"key":"556_CR7","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1007\/s00153-014-0381-z","volume":"53","author":"JH Schmerl","year":"2014","unstructured":"Schmerl, J.H.: Subsets coded in elementary end extensions. Arch. Math. Log. 53, 571\u2013581 (2014)","journal-title":"Arch. Math. Log."},{"key":"556_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic, Perspectives in Logic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic, Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"key":"556_CR9","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0168-0072(86)90074-6","volume":"31","author":"SG Simpson","year":"1986","unstructured":"Simpson, S.G., Smith, R.L.: Factorization of polynomials and \n                        $$\\Sigma ^0_1$$\n                        \n                            \n                                            \n                                \n                                    \u03a3\n                                    1\n                                    0\n                                \n                            \n                        \n                     induction. Ann. Pure Appl. Log. 31, 289\u2013306 (1986)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0556-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0556-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0556-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,3]],"date-time":"2017-08-03T01:29:26Z","timestamp":1501723766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0556-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,15]]},"references-count":9,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["556"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0556-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2017,5,15]]}}}