Lattice of Algebraically Closed Sets in One-Based Theories

Lee Fong Low
Source: J. Symbolic Logic Volume 59, Issue 1 (1994), 311-321.

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.

Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.