{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T21:58:24Z","timestamp":1648850304130},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007560","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T12:49:28Z","timestamp":1123764568000},"page":"99-107","source":"Crossref","is-referenced-by-count":2,"title":["Optimal bounds for ordinal comparison maps"],"prefix":"10.1007","volume":"25","author":[{"given":"Peter","family":"Clote","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007560_CR1","unstructured":"Cenzer, D., Clote, P., Smith, R., Soare, R.I., Wainer, S.S.: Members of countableII 0 1 classes (to appear in Ann. Pure Appl. Logic)."},{"key":"BF02007560_CR2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0003-4843(78)90001-3","volume":"13","author":"K.H. Chen","year":"1978","unstructured":"Chen, K.H.: Recursive well-founded orderings. Ann. Math. Logic13, 117\u2013147 (1978).","journal-title":"Ann. Math. Logic"},{"key":"BF02007560_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0095660","volume":"890","author":"P. Clote","year":"1980","unstructured":"Clote, P.: Anti-basis theorems and their relation to independence results in Peano arithmetic. In Model theory and arithmetic. Springer Lecture Notes in Mathematics890, 115\u2013133 (1980).","journal-title":"Model theory and arithmetic. Springer Lecture Notes in Mathematics"},{"issue":"2","key":"BF02007560_CR4","doi-asserted-by":"crossref","first-page":"376","DOI":"10.2307\/2274171","volume":"49","author":"P. Clote","year":"1984","unstructured":"Clote, P.: A recursion theoretic analysis of the clopen Ramsey theorem. J. Symb. Logic49, (2), 376\u2013400 (1984).","journal-title":"J. Symb. Logic"},{"issue":"2","key":"BF02007560_CR5","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9939-1985-0770549-2","volume":"93","author":"P. Clote","year":"1985","unstructured":"Clote, P.: On recursive trees with a unique infinite branch. Proc. Am. Math. Soc.93, (2), 335\u2013342 (1985).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02007560_CR6","unstructured":"Clote, P.: A generalization of the limit lemma and clopen games (to appear in J. Symb. Logic)."},{"key":"BF02007560_CR7","doi-asserted-by":"crossref","first-page":"367","DOI":"10.24033\/bsmf.1994","volume":"111","author":"D. Cenzer","year":"1983","unstructured":"Cenzer, D., Mauldin, R.D.: On the Borel class of the derived set operator. II. Bull. Soc. math. France111, 367\u2013372 (1983).","journal-title":"Bull. Soc. math. France"},{"key":"BF02007560_CR8","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1017\/S0022481200051410","volume":"41","author":"H. Friedman","year":"1976","unstructured":"Friedman, H.: Systems of second order arithmetic with limited induction (Abstract). J. Symb. Logic41, 557\u2013559 (1976).","journal-title":"J. Symb. Logic"},{"key":"BF02007560_CR9","unstructured":"Friedman, H.: The metamathematics of the Higman and Kruskal theorems (in preparation)."},{"key":"BF02007560_CR10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0003-4843(75)90005-4","volume":"8","author":"L. Hay","year":"1975","unstructured":"Hay, L., Manaster, A., Rosenstein, J.: Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy. Ann. Math. Logic8, 297\u2013343 (1975).","journal-title":"Ann. Math. Logic"},{"key":"BF02007560_CR11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BF01977642","volume":"5","author":"G. Kreisel","year":"1960","unstructured":"Kreisel, G., Shoenfield, J., Wang, H.: Number theoretic concepts and recursive well orderings. Arch. math. Logik Grundlagenforsch.5, 42\u201364 (1960).","journal-title":"Arch. math. Logik Grundlagenforsch."},{"key":"BF02007560_CR12","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. New York: McGraw-Hill 1967."},{"key":"BF02007560_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.2307\/2266902","volume":"20","author":"C. Spector","year":"1955","unstructured":"Spector, C.: Recursive well orderings. J. Symb. Logic20, 151\u2013163 (1955).","journal-title":"J. Symb. Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007560.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007560\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:29:37Z","timestamp":1557833377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007560"],"URL":"https:\/\/doi.org\/10.1007\/bf02007560","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}