Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-28T22:51:10.268Z Has data issue: false hasContentIssue false

Scott heights of abelian groups

Published online by Cambridge University Press:  12 March 2014

Mark E. Nadel*
Affiliation:
The Mitre Corporation, Bedford, Massachusetts 01730, E-mail: men@mitre.org

Extract

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.

In [11] it is shown that every model of the complete theory of (, +, 1), where, as usual, denotes the integers, is ℵ0-homogeneous, and therefore has Scott height at most ω. On the other hand, a footnote in [1] gives a model of the theory of (, +) which is not ℵ0-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 ≡ω to a model of cardinality at most and so must have Scott height below .

After having recalled the relevant material about Scott heights in §2, we will review the situation for torsion abelian groups in §3. In §4 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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Baldwin, J.et al, A natural theory without a prime model, Algebra Universalis, vol. 3 (1973), pp. 152155.CrossRefGoogle Scholar
[2]Barwise, K. J., Back and forth through infinitary logics, Studies in model theory (Morley, M., editor), Studies in Mathematics, vol. 8, Mathematical Association of America, Buffalo, New York, 1973, pp. 534.Google Scholar
[3]Barwise, K. J. and Eklof, P., Infinitary properties of abelian torsion groups, Annals of Mathematical Logic, vol. 2 (1970), pp. 2568.CrossRefGoogle Scholar
[4]Fuchs, L., Infinite abelian groups, vol. II, Academic Press, New York, 1973.Google Scholar
[5]Fuchs, L., Indecomposable abelian groups of measurable cardinalities, Symposia Mathematica, vol. XIII (1974), pp. 233244.Google Scholar
[6]Göbel, R., The existence of rigid systems of maximal size, Abelian Groups and Modules (Göbel, R.et al, editors), CISM Lecture Notes, no. 287, Springer-Verlag, Berlin, 1984, pp. 189202.Google Scholar
[7]Karp, C., Finite quantifier equivalence, The theory of models, North-Holland, Amsterdam, 1965, pp. 407412.Google Scholar
[8]Nadel, M., Model theory in admissible sets, Doctoral dissertation, Univerity of Wisconsin, Madison, Wisconsin, 1971.Google Scholar
[9]Nadel, M., An application of set theory to model theory, Israel Journal of Mathematics, vol. 11 (1972), pp. 386393.CrossRefGoogle Scholar
[10]Nadel, M., Scott sentences and admissible sets, Annals of Mathematical Logic, vol. 7 (1973), pp. 267294.CrossRefGoogle Scholar
[11]Nadel, M. E. and Stavi, J., On models of the elementary theory of (, + 1), this Journal, vol. 55 (1990), pp. 120.Google Scholar
[12]Nadel, M. E. and Stavi, J., L∞λ-equivalence, isomorphism and potential isomorphism, Transactions of the American Mathematical Society, vol. 236 (1978), pp. 5174.Google Scholar
[13]Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, Proceedings of the 1963 Berkeley symposium on theory of models, North-Holland, Amsterdam, 1965, pp. 329341.Google Scholar
[14]Shelah, S., Infinite abelian groups, Whitehead problem, and some constructions, Israel Journal of Mathematics, vol. 18 (1974), pp. 243256.CrossRefGoogle Scholar
[15]Shelah, S., A combinatorial theorem and endomorphism rings of abelian groups II, Abelian groups and modules (Göbel, R.et al, editors), CISM Lecture Notes, no. 287, Springer-Verlag, Berlin, 1984, pp. 3786.Google Scholar
[16]Szmielew, W., Elementary properties of abelian groups, Fundamenta Mathematica, vol. 41 (1954), pp. 203271.CrossRefGoogle Scholar