{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T03:41:03Z","timestamp":1720496463542},"reference-count":50,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10059,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1986]]},"DOI":"10.1016\/0168-0072(86)90070-9","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T12:51:58Z","timestamp":1053348718000},"page":"191-204","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["Recursive categoricity and recursive stability"],"prefix":"10.1016","volume":"31","author":[{"given":"John N.","family":"Crossley","sequence":"first","affiliation":[]},{"given":"Alfred B.","family":"Manaster","sequence":"additional","affiliation":[]},{"given":"Michael F.","family":"Moses","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(86)90070-9_BIB1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2272543","article-title":"Describing ordinals using functionals of finite type","volume":"37","author":"Aczel","year":"1972","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB2","series-title":"Aspects of Effective Algebra","first-page":"26","article-title":"Intrinsically recursive relations","author":"Ash","year":"1981"},{"key":"10.1016\/0168-0072(86)90070-9_BIB3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02566922","article-title":"Normalfunktionen und Hauptfolgen","volume":"28","author":"Bachmann","year":"1954","journal-title":"Comment Math. Helv."},{"key":"10.1016\/0168-0072(86)90070-9_BIB4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01214868","article-title":"Some recognizable properties of solvable groups","volume":"178","author":"Baumslag","year":"1981","journal-title":"Math. Z."},{"key":"10.1016\/0168-0072(86)90070-9_BIB5","volume":"Vol. 1","author":"Brouwer","year":"1975"},{"key":"10.1016\/0168-0072(86)90070-9_BIB6","series-title":"Proc. Int. Congress Logic, Method., Philos. of Sci. 1964","first-page":"2","article-title":"Transfinite automata recursions and weak second order theory of ordinals","author":"B\u00fcchi","year":"1964-1965"},{"key":"10.1016\/0168-0072(86)90070-9_BIB7_1","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF02124929","article-title":"Beitr\u00e4ge zur Begr\u00fcndung der transfiniten Mengenlehre","volume":"96","author":"Cantor","year":"1895","journal-title":"Math. Ann."},{"key":"10.1016\/0168-0072(86)90070-9_BIB7_2","series-title":"Contributions to the founding of the theory of transfinite numbers","author":"Cantor","year":"1915"},{"key":"10.1016\/0168-0072(86)90070-9_BIB8","series-title":"Constructive Order Types","author":"Crossley","year":"1969"},{"key":"10.1016\/0168-0072(86)90070-9_BIB9","series-title":"The Emergence of Number","author":"Crossley","year":"1980"},{"key":"10.1016\/0168-0072(86)90070-9_BIB10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF00370340","article-title":"The given","volume":"41","author":"Crossley","year":"1982","journal-title":"Studia Logica"},{"key":"10.1016\/0168-0072(86)90070-9_BIB11_1","first-page":"308","article-title":"On isomorphisms of recursive well-orderings (abstract)","volume":"28","author":"Crossley","year":"1963","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB11_2","doi-asserted-by":"crossref","first-page":"525","DOI":"10.2307\/2269687","volume":"31","author":"Crossley","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB12","first-page":"1","article-title":"The elementary theory of well-ordering\u2014a metamathematical study","author":"Doner","year":"1978"},{"key":"10.1016\/0168-0072(86)90070-9_BIB13","series-title":"L'\u00e9numeration transfinie, I. La notion de rang","author":"Denjoy","year":"1946"},{"key":"10.1016\/0168-0072(86)90070-9_BIB14","series-title":"L'\u00e9numeration transfinie, II. L'arithm\u00e9tisation du transfini","author":"Denjoy","year":"1952"},{"key":"10.1016\/0168-0072(86)90070-9_BIB15","first-page":"35","article-title":"Application of games to some problems of Mathematical Logic","volume":"5","author":"Ehrenfeucht","year":"1957","journal-title":"Bull. Polon. Acad. Sci."},{"key":"10.1016\/0168-0072(86)90070-9_BIB16","first-page":"161","article-title":"A characterization of theories with isomorphic denumerable models","volume":"6","author":"Engeler","year":"1959","journal-title":"Notices Amer. Math. Soc."},{"key":"10.1016\/0168-0072(86)90070-9_BIB17","series-title":"Summer Inst. for Symbolic Logic, Summaries","first-page":"201","article-title":"Some recent work of Ehrenfeucht and Fraisse","author":"Feferman","year":"1957-1960"},{"key":"10.1016\/0168-0072(86)90070-9_BIB18","series-title":"Conference in Mathematical Logic\u2014London '70","first-page":"63","article-title":"Infinitary properties, local functors and systems of ordinal functions","volume":"255","author":"Feferman","year":"1972"},{"key":"10.1016\/0168-0072(86)90070-9_BIB19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","article-title":"The first order properties of products of algebraic systems","volume":"47","author":"Feferman","year":"1959","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB20","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/BF01668470","article-title":"Autostability and computable families of constructivizations","volume":"14","author":"Goncharov","year":"1975","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0001-8708(79)90018-5","article-title":"Some proposals for reviving the philosophy of mathematics","volume":"31","author":"Hersh","year":"1979","journal-title":"Adv. in Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB22","doi-asserted-by":"crossref","first-page":"288","DOI":"10.2307\/2270263","article-title":"Natural well-orderings","volume":"36","author":"Isles","year":"1971","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB23","series-title":"Proofs and Refutations","author":"Lakatos","year":"1976"},{"key":"10.1016\/0168-0072(86)90070-9_BIB24","doi-asserted-by":"crossref","first-page":"459","DOI":"10.2307\/1968390","article-title":"Theorems on deducibility","volume":"28","author":"Langford","year":"1927","journal-title":"Ann. of Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB25","first-page":"58","article-title":"On the categoricity in power of elementary deductive systems and some related problems","volume":"31","author":"Los","year":"1954"},{"key":"10.1016\/0168-0072(86)90070-9_BIB26_1","first-page":"1431","article-title":"On recursive abelian groups","volume":"3","author":"Mal'cev","year":"1962","journal-title":"Soviet Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB26_2","series-title":"The Matamathematics of Algebraic Systems","first-page":"282","author":"Mal'cev","year":"1971"},{"key":"10.1016\/0168-0072(86)90070-9_BIB27","series-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1964"},{"key":"10.1016\/0168-0072(86)90070-9_BIB28","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0003-4843(79)90011-1","article-title":"The effective content of field theory","volume":"17","author":"Metakides","year":"1979","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB29","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0003-4843(78)90030-X","article-title":"Foundations of recursive model theory","volume":"13","author":"Millar","year":"1978","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB30","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1090\/S0002-9947-1965-0175782-0","article-title":"Categoricity in power","volume":"114","author":"Morley","year":"1965","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/0168-0072(86)90070-9_BIB31","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF02757002","article-title":"Decidable models","volume":"25","author":"Morley","year":"1976","journal-title":"Israel J. Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB32","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0168-0072(84)90028-9","article-title":"Recursive linear orders with recursive successivities","volume":"27","author":"Moses","year":"1984","journal-title":"Annals Pure Appl. Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB33","first-page":"283","article-title":"Logic and foundations","volume":"450","author":"Nerode","year":"1974"},{"key":"10.1016\/0168-0072(86)90070-9_BIB34","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/BF02218589","article-title":"On complete theories with a finite number of denumerable models","volume":"12","author":"Peretyatkin","year":"1973","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(86)90070-9_BIB35","first-page":"1","article-title":"Decidability of second order theories and automata on infinite trees","volume":"141","author":"Rabin","year":"1969","journal-title":"Trans. Amer. Math Soc."},{"key":"10.1016\/0168-0072(86)90070-9_BIB36","first-page":"379","article-title":"Recursively categorical linear orderings","volume":"83","author":"Remmel","year":"1981"},{"key":"10.1016\/0168-0072(86)90070-9_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-64-1-1-5","article-title":"\u03c70-categoricity of linear orderings","volume":"64","author":"Rosenstein","year":"1969","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB38","first-page":"545","article-title":"On the categoricity in power \u2a7d\u03c70","volume":"7","author":"Ryll-Nardzewski","year":"1959","journal-title":"Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys."},{"key":"10.1016\/0168-0072(86)90070-9_BIB39","volume":"Vol. II","author":"Sch\u00fctte","year":"1963"},{"key":"10.1016\/0168-0072(86)90070-9_BIB40","series-title":"Ph.D. Thesis","article-title":"Quotient lattices, index sets and recursive linear orderings","author":"Schwarz","year":"1982"},{"key":"10.1016\/0168-0072(86)90070-9_BIB41","first-page":"539","article-title":"A note on Hanf numbers","volume":"34","author":"Shelah","year":"1971","journal-title":"Pacific J. Math."},{"key":"10.1016\/0168-0072(86)90070-9_BIB42","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02019776","article-title":"Generalized quantifiers and well-orderings","volume":"15","author":"Slomson","year":"1972","journal-title":"Arch. Math. Logik Grundlag."},{"key":"10.1016\/0168-0072(86)90070-9_BIB43","series-title":"Aspects of Effective Algebra","first-page":"232","article-title":"Effective valuation theory","author":"Smith","year":"1979-1981"},{"key":"10.1016\/0168-0072(86)90070-9_BIB44","series-title":"Algebraische Theorie der K\u00f6rper","author":"Steinitz","year":"1930"},{"key":"10.1016\/0168-0072(86)90070-9_BIB45","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1111\/j.1755-2567.1959.tb00294.x","article-title":"\u03c70-categoricity in first-order predicate calculus","volume":"25","author":"Svenonius","year":"1959","journal-title":"Theoria"},{"key":"10.1016\/0168-0072(86)90070-9_BIB46","doi-asserted-by":"crossref","first-page":"146","DOI":"10.2969\/jmsj\/00420146","article-title":"A metamathematical theorem on the theory of ordinal numbers","volume":"4","author":"Takeuti","year":"1952","journal-title":"J. Math. Soc. Japan"},{"key":"10.1016\/0168-0072(86)90070-9_BIB47","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1090\/S0002-9947-1908-1500814-9","article-title":"Continuous increasing functions of finite and transfinite ordinals","volume":"9","author":"Veblen","year":"1908","journal-title":"Trans. Amer. Math. Soc."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900709?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900709?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T07:57:29Z","timestamp":1553155049000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007286900709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"references-count":50,"alternative-id":["0168007286900709"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(86)90070-9","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1986]]}}}