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]
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
(no proxy)My notes
Similar books and articles
H. A. Pogorzelski. Recursive arithmetic of Skolem. Mathematica Scandinavica, vol. 11 , pp. 33–36. - H. A. Pogorzelski. Recursive arithmetic of Skolem II. Mathematica Scandinavica, vol. 11 , pp. 156–160. [REVIEW]R. L. Goodstein -1964 -Journal of Symbolic Logic 29 (2):101-102.
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.
Skolem TH.. Remarks on recursive functions and relations. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 , pp. 89–92.Skolem TH.. Some remarks on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 , pp. 103–106.Skolem TH.. A note on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 , pp. 107–109.Skolem TH.. Some remarks on the comparison between recursive functions. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 , pp. 126–129. [REVIEW]Paul Bernays -1946 -Journal of Symbolic Logic 11 (1):26-28.
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.
Skolem Th.. A remark on a set theory based on positive logic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 25 , pp. 112–116. [REVIEW]Frederic B. Fitch -1956 -Journal of Symbolic Logic 21 (1):97-98.
Skolem Th.. Some considerations concerning recursive arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 , pp. 35–46. [REVIEW]H. G. Rice -1958 -Journal of Symbolic Logic 23 (2):228-228.
Skolem Th.. De logiske paradokser og botemidlene mot dem . Norsk matematisk tidsskrift, vol. 32 , pp. 2–11.G. H. von Wright -1951 -Journal of Symbolic Logic 16 (1):62-62.
Skolem Th.. Some remarks on the foundation of set theory. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 695–704. [REVIEW]Abner Shimony -1953 -Journal of Symbolic Logic 18 (1):77-78.
H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 , pp. 93–105. [REVIEW]V. Vučković -1966 -Journal of Symbolic Logic 31 (2):271-271.
Analytics
Added to PP
2013-11-03
Downloads
71 (#324,301)
6 months
9 (#459,922)
2013-11-03
Downloads
71 (#324,301)
6 months
9 (#459,922)
Historical graph of downloads
How can I increase my downloads?
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-6fc86d4c58-t2tjz uwo