Boolos, G. S. A proof of the Löwenheim-Skolem theorem. (English) Zbl 0209.30402 Notre Dame J. Formal Logic 11, 76-78 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03C07 Basic properties of first-order languages and structures PDFBibTeX XMLCite \textit{G. S. Boolos}, Notre Dame J. Formal Logic 11, 76--78 (1970; Zbl 0209.30402) Full Text: DOI