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 [Book Review]

Journal of Symbolic Logic 11 (1):26-28 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269168

Links

PhilArchive



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

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.. 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 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 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.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
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.
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.
Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
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.
[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.
Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
[det Kongelige Danske Videnskabernes Selskab]: Tycho Brahe's Description Of His Instruments And Scientific Work As Given In "astronomiae Instauratae Mechanica" By Hans Raeder; Elis Stromgren; Bengt Stromgren. [REVIEW]C. Hellman - 1950 - Isis 41:109-112.
Recursive Arithmetic of Skolem.H. A. Pogorzelski - 1964 - Journal of Symbolic Logic 29 (2):101-102.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,070,627)

6 months
1 (#1,444,594)

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