A proof of the Löwenheim-Skolem theorem

George Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame Journal of Formal Logic, 11(1):76-78, 1970. [doi]

Abstract

Abstract is missing.