Switch to: References

Add citations

You must login to add citations.
  1. Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.
    The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations