A proof of the Löwenheim-Skolem theorem

Notre Dame Journal of Formal Logic 11 (1):76-78 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893859

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 , pp. 76–78.Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519.
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
Book Review: Geraldine Brady. From Peirce to Skolem:\ \ A Neglected Chapter in the History of Logic. [REVIEW]Albert C. Lewis - 2004 - Notre Dame Journal of Formal Logic 45 (4):247-256.
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.Ildikó Sain - 1988 - Notre Dame Journal of Formal Logic 29 (3):332-344.
Introduction to Special Issue on George S. Boolos.Michael Detlefsen - 1999 - Notre Dame Journal of Formal Logic 40 (1):1-2.
The Complexity of Revision, Revised.G. Aldo Antonelli - 2002 - Notre Dame Journal of Formal Logic 43 (2):75-78.
George Boolos.Charles Parsons - 1999 - Notre Dame Journal of Formal Logic 40 (1):3-5.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
A Proof of the Skolem-Löwenheim Theorem.H. Rasiowa & R. Sikorski - 1953 - Journal of Symbolic Logic 18 (4):339-340.

Analytics

Added to PP
2010-08-24

Downloads
59 (#364,759)

6 months
11 (#358,218)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references