Switch to: Citations

Add references

You must login to add references.
  1. Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
    This paper is divided into two parts. Part I provides a resumé of the evolution of the notion of predicativity. Part II describes our own work on the subject.Part I§1. Conceptions of sets.Statements about sets lie at the heart of most modern attempts to systematize all (or, at least, all known) mathematics. Technical and philosophical discussions concerning such systematizations and the underlying conceptions have thus occupied a considerable portion of the literature on the foundations of mathematics.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. [REVIEW]Paul Weiss - 1934 - Philosophical Review 43 (2):214-215.
    Download  
     
    Export citation  
     
    Bookmark   32 citations