1. B. Hart and S. Shelah, Categoricity over P for first order T or categoricity for φ ∈ Lω1ω can stop at Nk while holding for N0,..., Nk-1, Israel Journal of Mathematics 70 (1990), 219–235; math.LO/9201240.
2. T. Jech, Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
3. H. J. Keisler, Model theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers, Studies in Logic and the Foundations of Mathematics, Vol. 62, North–Holland, Amsterdam–London, 1971.
4. S. Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam, 1990.
5. S. Shelah, Cardinal Arithmetic, Oxford Logic Guides, Vol. 29, Clarendon Press, Oxford University Press, New York, 1994.