Switch to: Citations

Add references

You must login to add references.
  1. (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  
  • Extending models of arithmetic.James H. Schmerl - 1978 - Annals of Mathematical Logic 14 (2):89.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hanf numbers for omitting types over particular theories.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (3):583-588.
    Download  
     
    Export citation  
     
    Bookmark   5 citations