{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T19:17:16Z","timestamp":1694287036420},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T00:00:00Z","timestamp":1396396800000},"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":[[2014,8]]},"DOI":"10.1007\/s00153-014-0381-z","type":"journal-article","created":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T13:34:43Z","timestamp":1396359283000},"page":"571-581","source":"Crossref","is-referenced-by-count":3,"title":["Subsets coded in elementary end extensions"],"prefix":"10.1007","volume":"53","author":[{"given":"James H.","family":"Schmerl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,2]]},"reference":[{"key":"381_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0168-0072(96)00003-6","volume":"82","author":"J. Avigad","year":"1996","unstructured":"Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82, 165\u2013191 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"381_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2694910","volume":"66","author":"P.A. Cholak","year":"2001","unstructured":"Cholak P.A., Jockusch C.G. Jr, Slaman T.A.: On the strength of Ramsey\u2019s theorem for pairs. J. Symb. Log. 66, 1\u201355 (2001)","journal-title":"J. Symb. Log."},{"key":"381_CR3","doi-asserted-by":"crossref","first-page":"1438","DOI":"10.2178\/jsl\/1254748700","volume":"74","author":"P.A. Cholak","year":"2009","unstructured":"Cholak P.A., Jockusch C.G. Jr, Slaman T.A.: Corrigendum to: \u201cOn the strength of Ramsey\u2019s theorem for pairs\u201d. J. Symb. Log. 74, 1438\u20131439 (2009)","journal-title":"J. Symb. Log."},{"key":"381_CR4","doi-asserted-by":"crossref","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 International Colloquium, Jerusalem, 1968) North-Holland, Amsterdam, pp. 105\u2013121 (1970)","DOI":"10.1016\/S0049-237X(08)71933-5"},{"key":"381_CR5","unstructured":"H\u00e1jek, P.: Interpretability and fragments of arithmetic. In: Clote, P., Kraj\u00ed\u010dek, J. (eds.) Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991), Oxford Logic Guides, vol. 23. Oxford University Press, New York, 1993, pp. 185\u2013196"},{"key":"381_CR6","doi-asserted-by":"crossref","unstructured":"Kanovei, V.: On \u201cstar\u201d schemata of Kossak and Paris. In: Logic Colloquium \u201896 (San Sebasti\u00e1n), Lecture Notes in Logic, vol. 12, Springer, Berlin, pp. 101\u2013114 (1998)","DOI":"10.1007\/978-3-662-22110-5_4"},{"key":"381_CR7","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/s00153-004-0218-2","volume":"43","author":"R. Kossak","year":"2004","unstructured":"Kossak R.: A note on a theorem of Kanovei. Arch. Math. Log. 43, 565\u2013569 (2004)","journal-title":"Arch. Math. Log."},{"key":"381_CR8","unstructured":"Kossak, R., Paris, J.B.: Subsets of models of arithmetic, In: Guzicki, W., et\u00a0al. (eds.) Open Days in Model Theory and Set Theory: Proceedings of a Conference Held in September 1981\u00a0at Jadwisin, Near Warsaw, Poland, Leeds, pp. 159\u2013174 (1983)"},{"key":"381_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF01270396","volume":"32","author":"R. Kossak","year":"1992","unstructured":"Kossak R., Paris J.B.: Subsets of models of arithmetic. Arch. Math. Log. 32, 65\u201373 (1992)","journal-title":"Arch. Math. Log."},{"key":"381_CR10","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":"381_CR11","unstructured":"MacDowell, R., Specker, E.: Modelle der Arithmetik. In: Infinitistic Methods (Proceedings Symposium on Foundations of Mathematics, Warsaw, 1959) Pergamon, Oxford, Warsaw, pp. 257\u2013263 (1961)"},{"key":"381_CR12","doi-asserted-by":"crossref","unstructured":"Phillips, R.G.: Omitting types in arithmetic and conservative extensions. In: Victoria Symposium on Nonstandard Analysis (University of Victoria, Victoria, B.C., 1972), Lecture Notes in Mathematics, vol. 369. Springer, Berlin, pp. 195\u2013202 (1974)","DOI":"10.1007\/BFb0066013"},{"key":"381_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic, Perspectives in Logic","author":"S.G. 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":"381_CR14","unstructured":"Towsner, H.: On maximal conservative extensions, arXiv:1302.1488v2 (2013)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0381-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0381-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0381-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T03:38:45Z","timestamp":1565321925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0381-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,2]]},"references-count":14,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["381"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0381-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,2]]}}}