Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 68, Issue 4 (2003), 1317-1336.
Categoricity and U-rank in excellent classes
Let 𝒦 be the class of atomic models of a countable first order theory. We prove that if 𝒦 is excellent and categorical in some uncountable cardinal, then each model is prime and minimal over the basis of a definable pregeometry given by a quasiminimal set. This implies that 𝒦 is categorical in all uncountable cardinals. We also introduce a U-rank to measure the complexity of complete types over models. We prove that the U-rank has the usual additivity properties, that quasiminimal types have U-rank 1, and that the U-rank of any type is finite in the uncountably categorical, excellent case. However, in contrast to the first order case, the supremum of the U-rank over all types may be ω (and is not achieved). We illustrate the theory with the example of free groups, and Zilber’s pseudo analytic structures.
J. Symbolic Logic, Volume 68, Issue 4 (2003), 1317-1336.
First available in Project Euclid: 31 October 2003
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Lessmann, Olivier. Categoricity and U-rank in excellent classes. J. Symbolic Logic 68 (2003), no. 4, 1317--1336. doi:10.2178/jsl/1067620189. https://projecteuclid.org/euclid.jsl/1067620189