Switch to: Citations

Add references

You must login to add references.
  1. Types omitted in uncountable models of arithmetic.Julia F. Knight - 1975 - Journal of Symbolic Logic 40 (3):317-320.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Elementary extensions of countable models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (1):139-145.
    We prove the following extension of a result of Keisler and Morley. Suppose U is a countable model of ZFC and c is an uncountable regular cardinal in U. Then there exists an elementary extension of U which fixes all ordinals below c, enlarges c, and either (i) contains or (ii) does not contain a least new ordinal. Related results are discussed.
    Download  
     
    Export citation  
     
    Bookmark   8 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