TY  - RPRT
TI  - 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}
AU  - Bradd Hart
AU  - Saharon Shelah
PY  - 1990
UR  - https://arxiv.org/abs/math/9201240
ID  - math/9201240
ER  -