Finiteness of U-rank implies simplicity in homogeneous structures

摘要

A (large) superstable homogeneous structure is said to be simple if every complete type over any set A has a free extension over any B contains A. In this paper we give a characterization for this property in terms of U-rank. As a corollary we get that if the structure has finite U-rank, then it is simple.