Switch to: Citations

Add references

You must login to add references.
  1. Diphantine Correct non-Standard Models in the Isols.Anil Nerode - 1968 - Journal of Symbolic Logic 33 (4):619-619.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Non-standard models and independence of the induction axiom.Michael O. Rabin - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model Theory and Non-Standard Arithmetic.A. Robinson - 1970 - Journal of Symbolic Logic 35 (1):149-149.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Mathematical Logic Quarterly 35 (3):197-209.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):197-209.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Les Fonctions combinatoires et les Isols.J. C. E. Dekker - 1972 - Journal of Symbolic Logic 37 (2):406-406.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Review: R. MacDowell, E. Specker, Modelle der Arithmetik. [REVIEW]Robert G. Phillips - 1973 - Journal of Symbolic Logic 38 (4):651-652.
    Download  
     
    Export citation  
     
    Bookmark   3 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-6d5f778f9-vw2sx uwo