Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem [Book Review]

&
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: 91,386

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 Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 , pp. 66–71; and Ibid., vol. 15 , pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-61.
Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
Review: R. L. Vaught, J. W. Addison, Leon Henkin, Alfred Tarski, A Lowenheim-Skolem Theorem for Cardinals for Apart. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
Review: H. Rasiowa, A Proof of the Compactness Theorem for Arithmetical Classes. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,224,450)

6 months
2 (#1,232,442)

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