{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T06:26:27Z","timestamp":1749795987154},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":7041,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1994,12]]},"abstract":"The Scott height of a structure gives ordinal measure of the inhomogeneity of the structure. The Scott specturm of a collection of structures is the set of Scott heights of structures in the collection. We will recall the precise definitions of these and related concepts in the next section. The reader thoroughly unfamiliar with these notions may want to skip ahead before reading the rest of this Introduction.<\/jats:p>In [11] it is shown that every model of the complete theory of (, +, 1), where, as usual, denotes the integers, is \u21350<\/jats:sub>-homogeneous, and therefore has Scott height at most \u03c9<\/jats:italic>. On the other hand, a footnote in [1] gives a model of the theory of (, +) which is not \u21350<\/jats:sub>-homogeneous, while in [11] such a model is described which can be expanded to a model of the theory of (, +, 1). However, since it is also true that any model of the theory of (, +) is isomorphic to a subgroup, in fact a pure subgroup, of a direct sum of and a torsion-free divisible group, it is easy to see that any such model must be \u2261\u221e\u03c9<\/jats:italic><\/jats:sub> to a model of cardinality at most and so must have Scott height below .<\/jats:p>After having recalled the relevant material about Scott heights in \u00a72, we will review the situation for torsion abelian groups in \u00a73. In \u00a74 we shall produce torsion-free abelian groups of high Scott height. It is the proof of Theorem 15 that was our primary motivation in writing this paper.<\/jats:p>","DOI":"10.2307\/2275709","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:53:29Z","timestamp":1146956009000},"page":"1351-1359","source":"Crossref","is-referenced-by-count":3,"title":["Scott heights of abelian groups"],"prefix":"10.1017","volume":"59","author":[{"given":"Mark E.","family":"Nadel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200019319_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757281"},{"key":"S0022481200019319_ref016","doi-asserted-by":"publisher","DOI":"10.4064\/fm-41-2-203-271"},{"key":"S0022481200019319_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90006-9"},{"key":"S0022481200019319_ref005","first-page":"233","article-title":"Indecomposable abelian groups of measurable cardinalities","volume":"XIII","author":"Fuchs","year":"1974","journal-title":"Symposia Mathematica"},{"key":"S0022481200019319_ref004","volume-title":"Infinite abelian groups","volume":"II","author":"Fuchs","year":"1973"},{"key":"S0022481200019319_ref007","first-page":"407","volume-title":"The theory of models","author":"Karp","year":"1965"},{"key":"S0022481200019319_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945115"},{"key":"S0022481200019319_ref008","unstructured":"Nadel M. , Model theory in admissible sets, Doctoral dissertation, Univerity of Wisconsin, Madison, Wisconsin, 1971."},{"key":"S0022481200019319_ref006","first-page":"189","volume-title":"Abelian Groups and Modules","author":"G\u00f6bel","year":"1984"},{"key":"S0022481200019319_ref013","first-page":"329","volume-title":"Proceedings of the 1963 Berkeley symposium on theory of models","author":"Scott","year":"1965"},{"key":"S0022481200019319_ref012","first-page":"51","article-title":"L\u221e\u03bb-equivalence, isomorphism and potential isomorphism","volume":"236","author":"Nadel","year":"1978","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200019319_ref002","first-page":"5","volume-title":"Studies in model theory","volume":"8","author":"Barwise","year":"1973"},{"key":"S0022481200019319_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF02761465"},{"key":"S0022481200019319_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(74)90017-5"},{"key":"S0022481200019319_ref011","first-page":"1","volume":"55","author":"Nadel","year":"1990","journal-title":"On models of the elementary theory of (, + 1)"},{"key":"S0022481200019319_ref015","first-page":"37","volume-title":"Abelian groups and modules","author":"Shelah","year":"1984"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200019319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T00:41:16Z","timestamp":1557880876000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200019319\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["S0022481200019319"],"URL":"https:\/\/doi.org\/10.2307\/2275709","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}