arXiv:0812.3489 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first-order theories, finite krull dimension, complete quantifier-free types, theory fields, prime types Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset