K. Jon Barwise. The Hanf Number of Second Order Logic. Journal of Symbolic Logic, 37(3):588-594, 1972.
@article{Barwise72, title = {The Hanf Number of Second Order Logic}, author = {K. Jon Barwise}, year = {1972}, tags = {logic}, researchr = {https://researchr.org/publication/Barwise72}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {37}, number = {3}, pages = {588-594}, }