Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 , S. 1–30

Journal of Symbolic Logic 31 (4):660 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269727

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Review: Solomon Feferman, The Number Systems. Foundations of Algebra and Analysis. [REVIEW]William E. Gould - 1973 - Journal of Symbolic Logic 38 (1):151-151.
Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Review: Wilfrid Buchholz, Kurt Schutte, Proof Theory of Impredicative Subsystems of Analysis. [REVIEW]Gerhard Jager - 1991 - Journal of Symbolic Logic 56 (1):332-333.
Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Review: Solomon Feferman, Reflecting on Incompleteness. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
Review: Solomon Feferman, Godel's Life and Work. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.
Review: Steven Orey, Relative Interpretations; S. Feferman, G. Kreisel, S. Orey, 1-Consistency and Faithful Interpretations. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.

Analytics

Added to PP
2014-03-30

Downloads
37 (#445,119)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.
Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.

Add more citations

References found in this work

No references found.

Add more references