Switch to: References

Add citations

You must login to add citations.
  1. The Prehistory of the Subsystems of Second-Order Arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.
    This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   5 citations  
  • Identity, Variables, and Impredicative Definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.
    Direct download (7 more)  
    Export citation  
    Bookmark   21 citations