Review: George D. W. Berry, Symposium: On the Ontological Significance of the Lowenheim-Skolem Theorem [Book Review]

Journal of Symbolic Logic 20 (1):63-63 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268066

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

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.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem. [REVIEW]Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):519-519.
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.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
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.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
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.
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.
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-62.
Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
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.

Analytics

Added to PP
2013-11-22

Downloads
18 (#785,610)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references