A Proof of the Skolem-Löwenheim Theorem

&
Journal of Symbolic Logic 18 (4):339-340 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266584

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem. [REVIEW]Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232.Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel.E. W. Beth - 1954 - Journal of Symbolic Logic 19 (1):61-61.
Review: H. Rasiowa, R. Sikorski, An Application of Lattices to Logic. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.
Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):78-80.
Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
Rasiowa H. and Sikorski R.. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 , pp. 83–100.Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,271,099)

6 months
2 (#1,449,525)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.

Add more citations

References found in this work

No references found.

Add more references