Skolem Th.. A remark on the induction scheme. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 22 , pp. 167–170 [Book Review]

Journal of Symbolic Logic 16 (3):220-221 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266418

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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 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.. 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.. 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 the Induction Scheme. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (3):220-221.
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.
Th. Skolem. Über gewisse “Verbände” oder “lattices.” Avhandlinger utgitt au Det Norske Videnskaps-Akademi i Oslo, I. Mat.-naturv. klasse 1936, no. 7 (1936), 16 pp. [REVIEW]Garrett Birkhoff & Th Skolem - 1937 - Journal of Symbolic Logic 2 (1):50-51.

Analytics

Added to PP
2016-06-30

Downloads
30 (#763,638)

6 months
15 (#221,138)

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