Switch to: Citations

Add references

You must login to add references.
  1. On models of arithmetic—Answers to two problems raised by H. Gaifman.Alex Wilkie - 1975 - Journal of Symbolic Logic 40 (1):41-47.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Elementarily Definable Analysis.A. Grzegorczyk - 1958 - Journal of Symbolic Logic 23 (4):444-445.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Discernible elements in models for peano arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7674574dd6-8q2d6 uwo