Turkish Journal of Mathematics
DOI
10.3906/mat-0905-26
Abstract
We study a class of first-order theories whose complete quantifier-free types with one free variable either have a trivial positive part or are isolated by a positive quantifier-free formula---plus a few other technical requirements. The theory of vector spaces and the theory fields are examples. We prove the amalgamation property and the existence of a model-companion. We show that the model-companion is strongly minimal. We also prove that the length of any increasing sequence of prime types is bounded, so every formula has finite Krull dimension.
First Page
323
Last Page
331
Recommended Citation
ZAMBELLA, DOMENICO
(2011)
"Krull dimension of types in a class of first-order theories,"
Turkish Journal of Mathematics: Vol. 35:
No.
2, Article 13.
https://doi.org/10.3906/mat-0905-26
Available at:
https://journals.tubitak.gov.tr/math/vol35/iss2/13
