Transfinite Recursive Progressions of Axiomatic Theories

Journal of Symbolic Logic 32 (4):530-531 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270210

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-531.
On the completeness of some transfinite recursive progressions of axiomatic theories.Jens Erik Fenstad - 1968 - Journal of Symbolic Logic 33 (1):69-76.
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$ -Rule.Zlatan Damnjanovic - 1998 - Notre Dame Journal of Formal Logic 39 (3):363-388.
Transfinite induction within Peano arithmetic.Richard Sommer - 1995 - Annals of Pure and Applied Logic 76 (3):231-289.
Intuitionistically provable recursive well-orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
Non-Uniqueness Results for Transfinite Progressions.G. Kreisel - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.
Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions. [REVIEW]Lev D. Beklemishev - 2008 - Bulletin of Symbolic Logic 14 (2):258-259.
Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Eliminating the ordinals from proofs. An analysis of transfinite recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
Predicative functionals and an interpretation of ⌢ID.Jeremy Avigad - 1998 - Annals of Pure and Applied Logic 92 (1):1-34.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2017-02-21

Downloads
20 (#769,125)

6 months
4 (#794,133)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
On Reflection.Leon Horsten - 2021 - Philosophical Quarterly 71 (4):pqaa083.

View all 36 citations / Add more citations

References found in this work

No references found.

Add more references