No CrossRef data available.
Article contents
Lattice of algebraically closed sets in one-based theories1
Published online by Cambridge University Press: 12 March 2014
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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1994
Footnotes
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.