Switch to: Citations

Add references

You must login to add references.
  1. Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
    Download  
     
    Export citation  
     
    Bookmark   154 citations  
  • Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • 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  
  • Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.
    Download  
     
    Export citation  
     
    Bookmark   22 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  
  • Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 , S. 1–30.Kurt Schütte - 1966 - Journal of Symbolic Logic 31 (4):660.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.
    Download  
     
    Export citation  
     
    Bookmark   62 citations