Abstract

Let T be a countable, complete, ω-stable, nonmultidimensional theory. By Lascar [7], in T eq there is in every dimension of T a type with Lascar rank ω α for some α. We give sufficient conditions for α to coincide with the level of that dimension in Pillay's [10] RK-hierarchy of dimensions computed in T eq . In particular, this is fulfilled for modules