{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:37:16Z","timestamp":1648665436295},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"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":[[2013,5]]},"DOI":"10.1007\/s00153-013-0322-2","type":"journal-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T01:44:10Z","timestamp":1358819050000},"page":"419-434","source":"Crossref","is-referenced-by-count":0,"title":["An example related to Gregory\u2019s Theorem"],"prefix":"10.1007","volume":"52","author":[{"given":"J.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F.","family":"Knight","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Ocasio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"VanDenDriessche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"322_CR1","unstructured":"Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy, #144 in Studies in Logic. Elsevier Science, Amsterdam (2000)."},{"key":"322_CR2","doi-asserted-by":"crossref","unstructured":"Baldwin, J.: Amalgamation, absoluteness, and categoricity. In Proceedings of the 11th Asian Logic Conference 2009, World Scientific, Singapore (2010)","DOI":"10.1142\/9789814360548_0002"},{"key":"322_CR3","unstructured":"Baldwin, J., Larson, P.: Iterated Elementary Embeddings and the Model Theory of Infinitary Logic (pre-print)"},{"key":"322_CR4","doi-asserted-by":"crossref","first-page":"226","DOI":"10.2307\/2271099","volume":"34","author":"K.J. Barwise","year":"1969","unstructured":"Barwise K.J.: Infinitary logic and admissible sets. J. Symb. Logic 34, 226\u2013252 (1969)","journal-title":"J. Symb. Logic"},{"key":"322_CR5","first-page":"173","volume":"255","author":"S.D. Friedman","year":"1979","unstructured":"Friedman S.D.: \u03b2-recursion theory. Trans. AMS 255, 173\u2013200 (1979)","journal-title":"Trans. AMS"},{"key":"322_CR6","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1215\/00294527-1499354","volume":"52","author":"S. Friedman","year":"2011","unstructured":"Friedman S., Koerwien M.: On absoluteness of categoricity in abstract elementary classes. Notre Dame J. Formal Logic 52, 395\u2013402 (2011)","journal-title":"Notre Dame J. Formal Logic"},{"key":"322_CR7","first-page":"967","volume":"17","author":"J. Gregory","year":"1970","unstructured":"Gregory J.: Elementary extensions and uncountable models for infinitary finite-quantifier language fragments. Not. Am. Math. Soc. 17, 967\u2013968 (1970)","journal-title":"Not. Am. Math. Soc."},{"key":"322_CR8","first-page":"460","volume":"38","author":"J. Gregory","year":"1972","unstructured":"Gregory J.: Uncountable models and infinitary elementary extensions. JSL 38, 460\u2013470 (1972)","journal-title":"JSL"},{"key":"322_CR9","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"R.B. Jensen","year":"1972","unstructured":"Jensen R.B.: The fine structure of the constructible hierarchy. Ann. Math. Logic 4, 229\u2013308 (1972)","journal-title":"Ann. Math. Logic"},{"key":"322_CR10","unstructured":"Karp, C.: Languages with Expressions of Infinite Length. PhD thesis, University of Southern California (1959)"},{"key":"322_CR11","first-page":"438","volume":"47","author":"J.F. Knight","year":"1982","unstructured":"Knight J.F.: Review: John Gregory, Uncountable models and infinitary elementary extensions. JSL 47, 438\u2013439 (1982)","journal-title":"JSL"},{"key":"322_CR12","volume-title":"Andrzej Mostowski and foundational studies","author":"J.F. Knight","year":"2008","unstructured":"Knight J.F.: The Kleene-Mostowski Hierarchy and the Davis-Mostowski Hierarchy. In: Ehrenfeucht, A., Marek, V.W., Srebrny, M. (eds) Andrzej Mostowski and foundational studies, IOS Press, Amsterdam (2008)"},{"key":"322_CR13","volume-title":"Model Theory for Infinitary Logic","author":"H.J. Keisler","year":"1971","unstructured":"Keisler H.J.: Model Theory for Infinitary Logic. North-Holland Publishing Company, Amsterdam (1971)"},{"key":"322_CR14","unstructured":"Kreisel, G.: Set-theoretic problems suggested by the notion of potential totality. In: Infinitistic Methods, Pergamon, pp. 103\u2013140 (1961)"},{"key":"322_CR15","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. Ann. Math. Logic 11, 31\u201355 (1977)","journal-title":"Ann. Math. Logic"},{"key":"322_CR16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0003-4843(73)90003-X","volume":"6","author":"J.-P. Ressayre","year":"1973","unstructured":"Ressayre J.-P.: Boolean models and infinitary first order languages. Ann. Math. Logic 6, 41\u201392 (1973)","journal-title":"Ann. Math. Logic"},{"key":"322_CR17","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers H. Jr.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge (1967)"},{"key":"322_CR18","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0003-4843(72)90004-6","volume":"4","author":"G.E. Sacks","year":"1972","unstructured":"Sacks G.E., Simpson S.: The \u03b1-finite injury method. Ann. Math. Logic 4, 343\u2013367 (1972)","journal-title":"Ann. Math. Logic"},{"key":"322_CR19","unstructured":"Shore, R.A.: Priority Arguments in Alpha-Recursion Theory, PhD thesis, MIT (1972)"},{"key":"322_CR20","unstructured":"Slaman, T.A.: Aspects of E-Recursion Theory, PhD thesis, Harvard University (1981)"},{"key":"322_CR21","doi-asserted-by":"crossref","first-page":"269","DOI":"10.4064\/fm195-3-4","volume":"195","author":"M. Vanden Boom","year":"2007","unstructured":"Vanden Boom M.: The effective Borel hierarchy. Fund. Math. 195, 269\u2013289 (2007)","journal-title":"Fund. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0322-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0322-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0322-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T13:08:10Z","timestamp":1562591290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0322-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":21,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["322"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0322-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,23]]}}}