Th. Skolem. Two remarks on set theory. Mathematica Scandinavica, vol. 5 , pp. 40–46. - John H. Harris. On a problem of Th. Skolem. Notre Dame Journal of formal logic, vol. 11 , pp. 372–374 [Book Review]

Journal of Symbolic Logic 36 (4):680 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272491

Links

PhilArchive



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

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: Th. Skolem, Two Remarks on Set Theory; John H. Harris, On a Problem of Th. Skolem. [REVIEW]Jean E. Rubin - 1971 - Journal of Symbolic Logic 36 (4):680-680.
On a problem of Th. Skolem.John H. Harris - 1970 - Notre Dame Journal of Formal Logic 11 (3):372-374.
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.
Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680.
Skolem Th.. Some considerations concerning recursive functions. Mathematica Scandinavica, vol. 1 , pp. 213–221.Martin Davis - 1956 - Journal of Symbolic Logic 21 (1):98-99.
Studies on the axiom of comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
Skolem fragments.Daniel Bonevac - 1984 - Notre Dame Journal of Formal Logic 25 (3):227-232.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
Proof of some theorems on recursively enumerable sets.Thoralf Skolem - 1962 - Notre Dame Journal of Formal Logic 3 (2):65-74.
Reflections on Skolem's relativity of set-theoretical concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.
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.
Investigations on a comprehension axiom without negation in the defining propositional functions.Thoralf Skolem - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):13-22.
Addendum to my article: "Proof of some theorems on recursively enumerable sets".Thoralf Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (1):44-47.
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.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.

Analytics

Added to PP
2016-06-30

Downloads
36 (#436,695)

6 months
6 (#510,035)

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