{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:30:52Z","timestamp":1777534252862,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,2,9]],"date-time":"2017-02-09T00:00:00Z","timestamp":1486598400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00153-017-0525-z","type":"journal-article","created":{"date-parts":[[2017,2,9]],"date-time":"2017-02-09T05:22:56Z","timestamp":1486617776000},"page":"289-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The complexity of isomorphism for complete theories of linear orders with unary predicates"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9178-5127","authenticated-orcid":false,"given":"Richard","family":"Rast","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,9]]},"reference":[{"key":"525_CR1","first-page":"5","volume-title":"Studies in Model Theory, Studies in Mathematics","author":"J Barwise","year":"1973","unstructured":"Barwise, J.: Back and forth through infinitary logic. In: Morley, M.D., Barwise, J. (eds.) Studies in Model Theory, Studies in Mathematics, vol. 8, pp. 5\u201334. Mathematical Association of America, Buffalo (1973)"},{"key":"525_CR2","doi-asserted-by":"crossref","first-page":"894","DOI":"10.2307\/2274750","volume":"54","author":"H Friedman","year":"1989","unstructured":"Friedman, H., Stanley, L.: A Borel reducibility theory for classes of countable structures. J. Symb. Log. 54, 894\u2013914 (1989)","journal-title":"J. Symb. Log."},{"key":"525_CR3","doi-asserted-by":"crossref","DOI":"10.1201\/9781584887942","volume-title":"Invariant Descriptive Set Theory, Chapman & Hall\/CRC Pure and Applied Mathematics","author":"S Gao","year":"2008","unstructured":"Gao, S.: Invariant Descriptive Set Theory, Chapman & Hall\/CRC Pure and Applied Mathematics. CRC Press, Boca Raton (2008)"},{"key":"525_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0168-0072(97)00049-3","volume":"92","author":"G Hjorth","year":"1998","unstructured":"Hjorth, G., Kechris, A., Louveau, A.: Borel equivalence relations induced by actions of the symmetric group. Ann. Pure Appl. Log. 92, 63\u2013112 (1998)","journal-title":"Ann. Pure Appl. Log."},{"key":"525_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory, Graduate Texts in Mathematics","author":"A Kechris","year":"1995","unstructured":"Kechris, A.: Classical Descriptive Set Theory, Graduate Texts in Mathematics, 1st edn. Springer, New York (1995)","edition":"1"},{"key":"525_CR6","volume-title":"Model Theory for Infinitary Logic","author":"J Keisler","year":"1971","unstructured":"Keisler, J.: Model Theory for Infinitary Logic. North-Holland, Amsterdam (1971)"},{"key":"525_CR7","doi-asserted-by":"crossref","unstructured":"Laskowski, M.C., Shelah, S.: Borel completeness of some $$\\aleph _0$$ \u2135 0 -stable theories. Fundam. Math. 229, 1\u201346 (2015)","DOI":"10.4064\/fm229-1-1"},{"key":"525_CR8","volume-title":"Model Theory: An Introduction, Graduate Texts in Mathematics","author":"D Marker","year":"2002","unstructured":"Marker, D.: Model Theory: An Introduction, Graduate Texts in Mathematics, vol. 217. Springer, New York (2002)"},{"issue":"1","key":"525_CR9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1305\/ndjfl\/1172787547","volume":"48","author":"D Marker","year":"2007","unstructured":"Marker, D.: The Borel complexity of isomorphism for theories with many types. Notre Dame J. Form. Log. 48(1), 93\u201397 (2007)","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"525_CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1002\/malq.200910005","volume":"56","author":"F Mwesigye","year":"2010","unstructured":"Mwesigye, F., Truss, J.K.: Countably categorical coloured linear orders. Math. Log. Q. 56(2), 159\u2013163 (2010)","journal-title":"Math. Log. Q."},{"key":"525_CR11","unstructured":"Rast, R., Sahota, D.S.: The Borel complexity of isomorphism for O-Minimal theories. J. Symb. Log. (to appear)"},{"issue":"1","key":"525_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-64-1-1-5","volume":"64","author":"JG Rosenstein","year":"1969","unstructured":"Rosenstein, J.G.: $$\\aleph _0$$ \u2135 0 -categoricity of linear orderings. Fundam. Math. 64(1), 1\u20135 (1969)","journal-title":"Fundam. Math."},{"key":"525_CR13","volume-title":"Linear Orderings","author":"JG Rosenstein","year":"1982","unstructured":"Rosenstein, J.G.: Linear Orderings. Academic Press, London (1982)"},{"issue":"4","key":"525_CR14","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/BF02757141","volume":"17","author":"M Rubin","year":"1974","unstructured":"Rubin, M.: Theories of linear order. Israel J. Math. 17(4), 392\u2013443 (1974)","journal-title":"Israel J. Math."},{"key":"525_CR15","unstructured":"Schirmann, M.: Theories des ordres totaux et relations dequivalence. Master\u2019s thesis, Universite de Paris VII (1997)"},{"key":"525_CR16","unstructured":"Ulrich, D., Rast, R., Laskowksi, M.C.: A new notion of cardinality for countable first-order theories. Fundam. Math. (submitted 2015)"},{"key":"525_CR17","volume-title":"Models and Games, Cambridge Studies in Advanced Mathematics","author":"J V\u00e4\u00e4n\u00e4nen","year":"2011","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Models and Games, Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2011)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0525-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0525-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0525-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:19:32Z","timestamp":1568798372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0525-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,9]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["525"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0525-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,9]]}}}