Let T be a complete, first-order theory in a finite or countable language h
aving infinite models. Let I(T, kappa) be the number of isomorphism types o
f models of T of cardinality kappa. We denote by mu (respectively <(<mu>)ov
er cap>) the number of cardinals (respectively infinite cardinals) less tha
n or equal to kappa.