Switch to: References

Add citations

You must login to add citations.
  1. Extending models of arithmetic.James H. Schmerl - 1978 - Annals of Mathematical Logic 14 (2):89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
  • Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
    TheoremEvery model of ZFChas a conservative elementary extension which possesses a cofinal minimal elementary extension.An application of Boolean ultrapowers to models of full arithmetic is also presented.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark