1. Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
    It is well known that number theory can be interpreted in the usual set theories, e.g. ZF, NF and their extensions. The problem I posed for myself was to see if, conversely, a reasonably strong set theory could be interpreted in number theory. The reason I am interested in this problem is, simply, that number theory is more basic or more concrete than set theory, and hence a more concrete foundation for mathematics. A partial solution to the problem was accomplished (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Paul Strauss (1985). Number-Theoretic Set Theories. Notre Dame Journal of Formal Logic 26 (1):81-95.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Paul Strauss (1967). Some Systems of Natural Deduction. Notre Dame Journal of Formal Logic 8 (4):286-290.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation