Categoricity over P for first order T or categoricity for phi in L_omega_1 omega can stop at aleph_k while holding for aleph_0, ..., aleph_k-1 - Bradd Hart; Saharon Shelah (1990)