1970a, "A proof of the Löwenheim-Skolem theorem," "Notre Dame Journal of Formal Logic 11": 76-78.