Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?

Journal of Symbolic Logic 37 (2):311-334 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272975

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,716

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

G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 , pp. 42–64. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
Selected logic papers.Gerald E. Sacks - 1999 - River Edge, N.J.: World Scientific.
Kreisel G.. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 , pp. 287–290. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Rabin Michael O.. Recursive unsolvability of group theoretic problems. Annals of mathematics, ser. 2 vol. 67 , pp. 172–194. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
Incompleteness along paths in progressions of theories.S. Feferman & C. Spector - 1962 - Journal of Symbolic Logic 27 (4):383-390.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
On the completeness of some transfinite recursive progressions of axiomatic theories.Jens Erik Fenstad - 1968 - Journal of Symbolic Logic 33 (1):69-76.

Analytics

Added to PP
2009-01-28

Downloads
62 (#378,528)

6 months
18 (#172,608)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.

View all 11 citations / Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Reducibility and Completeness for Sets of Integers.Richard M. Friedberg & Hartley Rogers - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):117-125.
Reducibility and Completeness for Sets of Integers.Richard M. Friedberg & Hartley Rogers - 1959 - Mathematical Logic Quarterly 5 (7‐13):117-125.

Add more references