On the theorem of Skolem-Lowenheim

&
Journal of Symbolic Logic 21 (1):95-96 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268523

Other Versions

No versions found

Links

PhilArchive



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

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

Kunugui Kinjiro. Skolem-Löwenheim no teiri ni tuite . Kisokagaku, no. 30 , pp. 35–39.Denjoy Arnaud. L'énumération transfinie. Livre IV. Notes sur les sujets controversés. Gauthier-Villars, Paris 1954, title pages + pp. 773–971. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (1):95-96.
The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem.Stewart Shapiro - 1996 - Routledge.
A Proof of the Skolem-Löwenheim Theorem.H. Rasiowa & R. Sikorski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.John R. Myhill - 1955 - Journal of Symbolic Logic 20 (1):64-64.
Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev.E. W. Beth - 1954 - Journal of Symbolic Logic 19 (1):61-62.
Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.Dana Scott & Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (1):58.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
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.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,698,613)

6 months
3 (#1,479,050)

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