{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:11:10Z","timestamp":1649031070073},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T00:00:00Z","timestamp":1217289600000},"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,9]]},"DOI":"10.1007\/s00153-008-0100-8","type":"journal-article","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T09:01:19Z","timestamp":1217235679000},"page":"607-623","source":"Crossref","is-referenced-by-count":0,"title":["Resplendent models and $${\\Sigma_1^1}$$ -definability with an oracle"],"prefix":"10.1007","volume":"47","author":[{"given":"Andrey","family":"Bovykin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,29]]},"reference":[{"issue":"2","key":"100_CR1","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S0022481200051604","volume":"41","author":"J. Barwise","year":"1976","unstructured":"Barwise J., Schlipf J.: An introduction to recursively saturated and resplendent models. J. Symbol. Logic 41(2), 531\u2013536 (1976)","journal-title":"J. Symbol. Logic"},{"key":"100_CR2","unstructured":"Bovykin, A.: On order-types of models of arithmetic. PhD Thesis, University of Birmingham (2000)"},{"key":"100_CR3","doi-asserted-by":"crossref","unstructured":"Bovykin, A., Kaye, R.: On order-types of models of arithmetic. In: Zhang, (ed.) Contemporary Mathematics Series of the American Mathematical Society, Model Theory and Algebra, vol. 302, pp. 275\u2013285 (2001)","DOI":"10.1090\/conm\/302\/05055"},{"key":"100_CR4","unstructured":"Bovykin, A., Kaye, R.: Resplendent linear orders. Unpublished Article. Available online at http:\/\/logic.pdmi.ras.ru\/~andrey\/research.html (2001)"},{"issue":"3","key":"100_CR5","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2307\/2964289","volume":"23","author":"W. Craig","year":"1958","unstructured":"Craig W., Vaught R.: Finite axiomatizability using additional predicates. J. Symbol. Logic 23(3), 289\u2013308 (1958)","journal-title":"J. Symbol. Logic"},{"key":"100_CR6","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1111\/j.1755-2567.1997.tb00746.x","volume":"63","author":"S. Feferman","year":"1997","unstructured":"Feferman S.: My route to arithmetization. Theoria 63, 168\u2013181 (1997)","journal-title":"Theoria"},{"key":"100_CR7","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","volume":"40","author":"H. Friedman","year":"1972","unstructured":"Friedman H.: One hundred and two problems in mathematical logic. J. Symbol. Logic 40, 113\u2013129 (1972)","journal-title":"J. Symbol. Logic"},{"key":"100_CR8","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik, vol. II, Springer, Berlin. (Second Edition 1970, Russian Edition: \u201cOsnovaniya matematiki\u201d 1982, Nauka, French edition: \u201cFondements des math\u00e9matiques\u201d 1, 2. L\u2019Harmattan, 2001) (1939)"},{"key":"100_CR9","first-page":"27","volume":"10","author":"S. Kleene","year":"1952","unstructured":"Kleene S.: Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Memoirs Am. Math. Soc. 10, 27\u201366 (1952)","journal-title":"Memoirs Am. Math. Soc."},{"key":"100_CR10","doi-asserted-by":"crossref","first-page":"625","DOI":"10.2307\/2273592","volume":"47","author":"J.-F. Pabion","year":"1982","unstructured":"Pabion J.-F.: Saturated models of Peano Arithmetic. J. Symbol. Logic 47, 625\u2013637 (1982)","journal-title":"J. Symbol. Logic"},{"issue":"1","key":"100_CR11","first-page":"73","volume":"33","author":"J.-F. Pabion","year":"1981","unstructured":"Pabion J.-F.: Saturation en arithmetique at en analyse (in French). Bull. Soc. Math. Belg. Ser. B 33(1), 73\u201382 (1981)","journal-title":"Bull. Soc. Math. Belg. Ser. B"},{"issue":"1","key":"100_CR12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0003-4843(77)90009-2","volume":"11","author":"J.P. Ressayre","year":"1977","unstructured":"Ressayre J.P.: Models with compactness properties relative to an admissible language. Arch. Math. Logic 11(1), 31\u201355 (1977)","journal-title":"Arch. Math. Logic"},{"issue":"4","key":"100_CR13","doi-asserted-by":"crossref","first-page":"1382","DOI":"10.1017\/S0022481200041141","volume":"54","author":"J. Schmerl","year":"1989","unstructured":"Schmerl J.: Large resplendent models generated by indiscernibles. J. Symbol. Logic 54(4), 1382\u20131388 (1989)","journal-title":"J. Symbol. Logic"},{"key":"100_CR14","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1017\/S0022481200029820","volume":"52","author":"S.T. Smith","year":"1987","unstructured":"Smith S.T.: Nonstandard characterizations of recursive saturation and resplendency. J. Symbol. Logic 52, 842\u2013863 (1987)","journal-title":"J. Symbol. Logic"},{"key":"100_CR15","volume-title":"Handbook of Mathematical Logic","author":"C.A. Smorynski","year":"1977","unstructured":"Smorynski C.A.: G\u00f6del\u2019s incompleteness theorems. In: Barwise, J.(eds) Handbook of Mathematical Logic, North-Holland, Amsterdam (1977)"},{"key":"100_CR16","first-page":"217","volume":"3","author":"H. Wang","year":"1951","unstructured":"Wang H.: Arithmetical models for formal systems. Methodos 3, 217\u2013232 (1951)","journal-title":"Methodos"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0100-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0100-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0100-8","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-008-0100-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,29]]},"references-count":16,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["100"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0100-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,29]]}}}