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: 93,296

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.
Solomon Feferman. Transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 27 no. 3 , pp. 259–316.R. A. DiPaola - 1968 - Journal of Symbolic Logic 32 (4):530-531.
Jens Erik Fenstad. On the completeness of some transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 33 , pp. 69–76. [REVIEW]Steven Savitt - 1969 - Journal of Symbolic Logic 34 (1):131-131.
Review: Solomon Feferman, Classifications of Recursive Functions by Means of Hierarchies. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
S. Feferman and C. Spector. Incompleteness along paths in progressions of theories. The journal of symbolic logic, vol. 27 no. 4 , pp. 383–390.R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):531.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Review: Solomon Feferman, Toward Useful Type-Free Theories I. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.

Analytics

Added to PP
2017-02-21

Downloads
4 (#1,644,260)

6 months
20 (#139,007)

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.
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.
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