1. [1] Baumgartner, J. E., “The Hanf number for complete $L_{\omega_{1},\omega}$ sentences (without GCH),” Journal of Symbolic Logic, vol. 39 (1974), pp. 575–78.
2. [2] Hanf, W., “Incompactness in languages with infinitely long expressions,” Fundamenta Mathematicae, vol. 53 (1963/1964), pp. 309–24.
3. [3] Hjorth, G., “Knight’s model, its automorphism group, and characterizing the uncountable cardinals,” Journal of Mathematical Logic, vol. 2 (2002), pp. 113–44.
4. [4] Keisler, H. J., Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers, vol. 62 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1971.
5. [5] Knight, J. F., “A complete $L_{\omega_{1}\omega}$-sentence characterizing $\aleph_{1}$,” Journal of Symbolic Logic, vol. 42 (1977), pp. 59–62.