On recursion theory in I∑

&
Journal of Symbolic Logic 54 (2):576 - 589 (1989)
  Copy   BIBTEX

Abstract

It is shown that the low basis theorem is meaningful and provable in I∑ 1 and that the priority-free solution to Post's problem formalizes in this theory

Categories

Keywords

Reprint years

DOI

10.2307/2274871

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

On Recursion Theory in $Isum_1$.Petr Hajek & Antonin Kucera - 1989 - Journal of Symbolic Logic 54 (2):576-589.
Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 , pp. 261–263. [REVIEW]Dana Scott - 1967 - Journal of Symbolic Logic 32 (3):412.
Selected logic papers.Gerald E. Sacks - 1999 - River Edge, N.J.: World Scientific.
Review: Sy. D. Friedman, $beta$-Recursion Theory; Sy D. Friedman, Post's Problem without Admissibility. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.
Vopěnka Petr and Hájek Petr. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles.George Tourlakis - 1996 - Mathematical Logic Quarterly 42 (1):449-460.

Analytics

Added to PP
2009-01-28

Downloads
83 (#271,697)

6 months
7 (#614,157)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The logic of π1-conservativity.Petr Hajek & Franco Montagna - 1990 - Archive for Mathematical Logic 30 (2):113-123.
On some formalized conservation results in arithmetic.P. Clote, P. Hájek & J. Paris - 1990 - Archive for Mathematical Logic 30 (4):201-218.

Add more citations

References found in this work

No references found.

Add more references