{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:58:19Z","timestamp":1649001499132},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"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":[[1978,12]]},"DOI":"10.1007\/bf02011864","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T17:32:17Z","timestamp":1123781537000},"page":"13-22","source":"Crossref","is-referenced-by-count":1,"title":["On the elementary theory of inductive order"],"prefix":"10.1007","volume":"19","author":[{"given":"E. A.","family":"Sonenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011864_CR1","doi-asserted-by":"crossref","unstructured":"Buchi, J.R., Siefkes, D.: The complete extensions of the monadic second order theory of countable ordinals (unpublished) (1973).","DOI":"10.1007\/BFb0082722"},{"key":"BF02011864_CR2","unstructured":"Chang, C.C., Keisler, H.J.: Model theory. North-Holland, 1974."},{"key":"BF02011864_CR3","first-page":"1","volume":"46","author":"J. Doner","year":"1972","unstructured":"Doner, J.: Definability in the extended arithmetic of ordinal numbers. Dissertationes Mathematicae46, 1\u201354 (1972).","journal-title":"Dissertationes Mathematicae"},{"key":"BF02011864_CR4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"A. Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalised theories. Fundamenta Mathematica49, 129\u2013141 (1961).","journal-title":"Fundamenta Mathematica"},{"key":"BF02011864_CR5","doi-asserted-by":"crossref","unstructured":"Flum, J.: First order logic and its extensions, in Logic Conference, Kiel 1974. Springer 1975.","DOI":"10.1007\/BFb0079423"},{"key":"BF02011864_CR6","first-page":"35","volume":"A1","author":"R. Fraiss\u00e9","year":"1954","unstructured":"Fraiss\u00e9, R.: Sur quelques classifications des syst\u00e8mes de r\u00e9lations. Publ. Sci. Univ. Alger. S\u00e9r. A1, 35\u2013182 (1954).","journal-title":"Publ. Sci. Univ. Alger. S\u00e9r."},{"key":"BF02011864_CR7","first-page":"609","volume":"17","author":"K. Hauschild","year":"1969","unstructured":"Hauschild, K.: Equivalence of models in respect to special classes of sentences. Bull. l'Acad. Polon. Sci.17, 609\u2013610 (1969).","journal-title":"Bull. l'Acad. Polon. Sci."},{"key":"BF02011864_CR8","first-page":"65","volume":"55","author":"A. Mostowski","year":"1949","unstructured":"Mostowski, A., Tarski, A.: Arithmetical classes and types of well-ordered systems. Bull. A.M.S.55, 65 (1949); Erratum, ibid. 1192.","journal-title":"Bull. A.M.S."},{"key":"BF02011864_CR9","doi-asserted-by":"crossref","first-page":"452","DOI":"10.2307\/2272887","volume":"39","author":"D. Myers","year":"1974","unstructured":"Myers, D.: The Boolean algebras of abelian groups and well orders. J. Symb. Logic39, 452\u2013458 (1974).","journal-title":"J. Symb. Logic"},{"key":"BF02011864_CR10","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1305\/ndjfl\/1093891203","volume":"15","author":"J.W. Rosenthal","year":"1974","unstructured":"Rosenthal, J.W.: Models ofTh(\u2329\u03c9\u03c9, <\u232a). Notre Dame J. Formal Logic15, 122\u2013132 (1974).","journal-title":"Notre Dame J. Formal Logic"},{"key":"BF02011864_CR11","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02019776","volume":"15","author":"A. Slomson","year":"1972","unstructured":"Slomson, A.: Generalised quantifiers and well-orderings. Archiv f. math. Logik u. Grundlagenforschung15, 57\u201373 (1972).","journal-title":"Archiv f. math. Logik u. Grundlagenforschung"},{"key":"BF02011864_CR12","unstructured":"Wachs, E.A.: On models of well-orderings. Ph.D. thesis, Monash University, 1976."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011864.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011864\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T22:08:11Z","timestamp":1586383691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011864"],"URL":"https:\/\/doi.org\/10.1007\/bf02011864","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}