Jon Barwise and Kenneth Kunen. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 (1971), pp. 306–320. | Publicación