Hostname: page-component-7bb8b95d7b-w7rtg Total loading time: 0 Render date: 2024-10-06T06:30:13.692Z Has data issue: false hasContentIssue false

Lattice of algebraically closed sets in one-based theories1

Published online by Cambridge University Press:  12 March 2014

Lee Fong Low*
Affiliation:
26 Beacon Street, Apartment 16C, Burlington, Massachusetts 01803

Abstract

Let T be a one-based theory. We define a notion of width, in the case of T having the finiteness property, for the lattice of finitely generated algebraically closed sets and prove

Theorem. Let T be one-based with the finiteness property. If T is of bounded width, then every type in T is nonorthogonal to a weight one type. If T is countable, the converse is true.

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.)

Footnotes

1

This work forms a chapter of the author's dissertation, written under the direction of Professor Anand Pillay at the University of Notre Dame, 1992.

References

REFERENCES

[BoPo] Bouscaren, E. and Poizat, B., Des belles paires aux beaux uples, this Journal, vol. 53 (1988), pp. 434442.Google Scholar
[EPPo] Evans, D., Pillay, A., and Poizat, B., A group in a group, Algebra i Logika, vol. 3 (1990), pp. 368378.Google Scholar
[G] Goode, J. B., Some trivial considerations, this Journal, vol. 56 (1991), pp. 624631.Google Scholar
[H] Hrushovski, E., Finitely based theories, this Journal, vol. 54 (1989), pp. 221225.Google Scholar
[HP] Hrushovski, E. and Pillay, P., Weakly normal groups, Logic Colloquium' 85, North-Holland, Amsterdam, 1986, pp. 233244.Google Scholar
[Pr] Prest, M., Model theory of modules, Cambridge University Press, Longon and New York, 1988.CrossRefGoogle Scholar
[Z] Ziegler, M., Model theory of modules, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 149213.CrossRefGoogle Scholar