Order:
  1.  33
    Sequences in Countable Nonstandard Models of the Natural Numbers.Steven C. Leth - 1988 - Studia Logica 47 (3):243 - 263.
    Two different equivalence relations on countable nonstandard models of the natural numbers are considered. Properties of a standard sequence A are correlated with topological properties of the equivalence classes of the transfer of A. This provides a method for translating results from analysis into theorems about sequences of natural numbers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  13
    Meager Sets on the Hyperfinite Time Line.H. Jerome Keisler & Steven C. Leth - 1991 - Journal of Symbolic Logic 56 (1):71-102.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  33
    Some Nonstandard Methods in Combinatorial Number Theory.Steven C. Leth - 1988 - Studia Logica 47 (3):265 - 278.
    A combinatorial result about internal subsets of *N is proved using the Lebesgue Density Theorem. This result is then used to prove a standard theorem about difference sets of natural numbers which provides a partial answer to a question posed by Erdös and Graham.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations