{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,7]],"date-time":"2023-12-07T08:07:21Z","timestamp":1701936441842},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1989,3,1]],"date-time":"1989-03-01T00:00:00Z","timestamp":604713600000},"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":[[1989,3]]},"DOI":"10.1007\/bf01630807","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T17:03:41Z","timestamp":1115399021000},"page":"9-20","source":"Crossref","is-referenced-by-count":8,"title":["The metamathematics of scattered linear orderings"],"prefix":"10.1007","volume":"29","author":[{"given":"P.","family":"Clote","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF02007560","volume":"25","author":"P. Clote","year":"1985","unstructured":"Clote, P.: Optimal bounds for ordinal comparison maps. Arch. Math. Logik Grundlagenforsch.25, 99\u2013107 (1985)","journal-title":"Arch. Math. Logik Grundlagenforsch"},{"key":"CR2","volume-title":"Theory of relations","author":"R. Fra\u00efss\u00e9","year":"1986","unstructured":"Fra\u00efss\u00e9, R.: Theory of relations. Amsterdam: North-Holland 1986"},{"key":"CR3","first-page":"235","volume":"1974","author":"H.M. Friedman","year":"1975","unstructured":"Friedman, H.M.: Some systems of second order arithmetic and their use. Proc. Int. Congr. Mathematicians, Vancouver 1974 (1975), pp. 235\u2013242","journal-title":"Proc. Int. Congr. Mathematicians, Vancouver"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1017\/S0022481200051410","volume":"41","author":"H.M. Friedman","year":"1976","unstructured":"Friedman, H.M.: Systems of second order arithmetic with limited induction (Abstract). J. Symb. Logic41, 557\u2013559 (1976)","journal-title":"J. Symb. Logic"},{"key":"CR5","volume-title":"Proof theory and logical complexity. Studies in proof theory, Vol. 1","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Proof theory and logical complexity. Studies in proof theory, Vol. 1. Naples:Bibliopolis 1987"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/BF01451165","volume":"65","author":"F. Hausdorff","year":"1908","unstructured":"Hausdorff, F.: Grundz\u00fcge einer Theorie der Geordneten Mengen. Math. Ann.65, 435\u2013505 (1908)","journal-title":"Math. Ann."},{"key":"CR7","volume-title":"Pure and applied mathematics, Vol. 98","author":"J. Rosenstein","year":"1982","unstructured":"Rosenstein, J.: Linear orderings. Pure and applied mathematics, Vol. 98. Eilenberg, S., Bass, H. (eds.). New York: Academic Press 1982"},{"key":"CR8","unstructured":"Higher recursion theory (forthcoming monograph). In preprint form as graduate course notes by D. MacQueen of a course by G. E. Sacks at M.I.T. in 1971\/72"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0049-237X(09)70158-2","volume-title":"Harvey Friedman's research on the foundations of mathematics","author":"S.G. Simpson","year":"1985","unstructured":"Simpson, S.G.: Friedman's research on subsystems of second order arithmetic. In: Harvey Friedman's research on the foundations of mathematics. Harrington, L.A. (eds.). Amsterdam: North-Holland, pp. 137\u2013159, 1985"},{"key":"CR10","unstructured":"Simpson, S.G.: Ordinal numbers and the Hilbert basis theorem. In preprint form as Research Report of Department of Mathematics, Pennsylvania State University, 1986"},{"key":"CR11","unstructured":"Simpson, S.G.: Handwritten manuscript of sections from chapter, \u201cCountable well orderings; analytic sets\u201d, from this forthcoming monograph on Subsystems of Second Order Arithmetic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01630807.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01630807\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01630807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:39:02Z","timestamp":1557254342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01630807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,3]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,3]]}},"alternative-id":["BF01630807"],"URL":"https:\/\/doi.org\/10.1007\/bf01630807","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,3]]}}}