Diagonalization and the recursion theorem

Notre Dame Journal of Formal Logic 14 (1):95-99 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890812

Other Versions

No versions found

Links

PhilArchive



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

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

Corrigendum to: ``Diagonalization and the recursion theorem''.James C. Owings - 1988 - Notre Dame Journal of Formal Logic 30 (1):153-153.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
A note on a theorem of C. Yates.William D. Jackson - 1973 - Notre Dame Journal of Formal Logic 14 (1):100-102.
Functionals defined by recursion.Luis Elpidio Sanchis - 1967 - Notre Dame Journal of Formal Logic 8 (3):161-174.
Elementary formal systems as a framework for relative recursion theory.Bruce M. Horowitz - 1982 - Notre Dame Journal of Formal Logic 23 (1):39-52.
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
A note on Turing machine regularity and primitive recursion.Nicholas J. De Lillo - 1978 - Notre Dame Journal of Formal Logic 19 (2):289-294.
The Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2 (2):94-110.
An incompleteness theorem for conditional logic.Donald Nute - 1978 - Notre Dame Journal of Formal Logic 19 (4):634-636.
A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.

Analytics

Added to PP
2010-08-24

Downloads
41 (#552,696)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalizations of the recursion theorem.Sebastiaan A. Terwijn - 2018 - Journal of Symbolic Logic 83 (4):1683-1690.
Reflecting in epistemic arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.

Add more citations

References found in this work

No references found.

Add more references