Switch to: References

Add citations

You must login to add citations.
  1. Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
    We prove that if is a model of size at most [kappa], λ[kappa] = λ, and a game sentence of length 2λ is true in a 2λ-saturated model ≡ , then player has a winning strategy for a related game in some ultrapower ΠD of . The moves in the new game are taken in the cartesian power λA, and the ultrafilter D over λ must be chosen after the game is played. By taking advantage of the expressive power of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Applications of nonstandard analysis in additive number theory.Renling Jin - 2000 - Bulletin of Symbolic Logic 6 (3):331-341.
    This paper reports recent progress in applying nonstandard analysis to additive number theory, especially to problems involving upper Banach density.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
    In this paper two new combinatorial principles in nonstandard analysis are isolated and applications are given. The second principle provides an equivalent formulation of Henson's isomorphism property.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations