Skolem Th.. A remark on a set theory based on positive logic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 25 , pp. 112–116 [Book Review]

Journal of Symbolic Logic 21 (1):97-98 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268525

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

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.
Skolem Th.. A remark on the induction scheme. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 22 , pp. 167–170. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (3):220-221.
Skolem Th.. Einfacher Beweis der Unmöglichkeit eines allgemeinen Lösungsverfahrens für arithmetische Probleme. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, Bd. 13 , S. 1–4. [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):21-21.
Skolem Thoralf. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 , pp. 20–25. [REVIEW]Alonzo Church & Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (1):67-67.
Skolem Th.. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 , pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687. [REVIEW]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
Skolem Th.. A version of the proof of equivalence between complete induction and the uniqueness of primitive recursion. Det Kongelige Norske Videnskabers Selskabs, ForhandUnger, Bd. 29 Heft 3 , S. 10–15. [REVIEW]Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (1):69-69.
Review: Th. Skolem, A Remark on a Set Theory Based on Positive Logic. [REVIEW]Frederic B. Fitch - 1956 - Journal of Symbolic Logic 21 (1):97-98.
I. Det Kongelige Norske Videnskavers Slskab / Rektor Asbjørn Øverås, Vizepräsident Der K Gl. Norwegischen Gesellschaft Der Wissenschaften.[author unknown] - 1961 - Schopenhauer Jahrbuch:8-9.
Skolem Th.. Einige Reduktionen des Entscheidungsproblems. Avhandlinger utgitt av Det Norske Videnskaps-Akademi i Oslo, I. Mat.-naturv. klasse 1936, no. 6 , 17 pp. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):86-86.
Kelka Tezi Pri La Forci. Prizentita A Det Kongelige Danske Videnskabernes Selskab By Ludvig August Colding; J. P. Gjerulff. [REVIEW]George Sarton - 1913 - Isis 1:522-524.
Karen Jelved;, Andrew D. Jackson . The Travel Letters of H. C. Ørsted. xxix + 536 pp., illus., index. Copenhagen: Det Kongelige Danske Videnskabernes Selskab, 2011. $80. [REVIEW]Anja Skaar Jacobsen - 2013 - Isis 104 (1):175-176.
Skolem Th.. Über gewisse “Verbände” oder “lattices.” Avhandlinger utgitt au Det Norske Videnskaps-Akademi i Oslo, I. Mat.-naturv. klasse 1936, no. 7 , 16 pp. [REVIEW]Garrett Birkhoff - 1937 - Journal of Symbolic Logic 2 (1):50-51.
Skolem Thoralf. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form K 1 & K 2. Avhandlinger utgitt av Del Norske Videnskaps-Akademi i Oslo, I, Mat.-naturv. klasse 1935, no. 8 , 10 pp. [REVIEW]C. H. Langford - 1936 - Journal of Symbolic Logic 1 (3):111-111.
[Det Kongelige Danske Videnskabernes Selskab]: Tycho Brahe's Description of His Instruments and Scientific Work as Given in "Astronomiae Instauratae Mechanica". Hans Raeder, Elis Stromgren, Bengt Stromgren. [REVIEW]C. Doris Hellman - 1950 - Isis 41 (1):109-112.
Remark on my Paper: On Skolem's Theorem.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):66-66.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,110,001)

6 months
4 (#790,687)

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