The Hanf Number of Second Order Logic

K. Jon Barwise. The Hanf Number of Second Order Logic. Journal of Symbolic Logic, 37(3):588-594, 1972.

Abstract

Abstract is missing.