2001 | ||
---|---|---|
18 | Renling Jin: Existence of Some Sparse Sets of Nonstandard Natural Numbers. J. Symb. Log. 66(2): 959-973 (2001) | |
2000 | ||
17 | EE | Renling Jin: Applications of nonstandard analysis in additive number theory. Bulletin of Symbolic Logic 3(3): 331-341 (2000) |
16 | Renling Jin, H. Jerome Keisler: Maharam Spectra of Loeb Spaces. J. Symb. Log. 65(2): 550-566 (2000) | |
1999 | ||
15 | Renling Jin: Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. Ann. Pure Appl. Logic 98(1-3): 157-171 (1999) | |
14 | EE | Renling Jin, Saharon Shelah: Possible size of an ultrapower of w\omega. Arch. Math. Log. 38(1): 61-77 (1999) |
1998 | ||
13 | Renling Jin, Saharon Shelah: Compactness of Loeb Spaces. J. Symb. Log. 63(4): 1371-1392 (1998) | |
1997 | ||
12 | Renling Jin, Saharon Shelah: Can a Small Forcing Create Kurepa Trees. Ann. Pure Appl. Logic 85(1): 47-68 (1997) | |
11 | Renling Jin: Type Two Cuts, Bad Cuts and Very Bad Cuts. J. Symb. Log. 62(4): 1241-1252 (1997) | |
1994 | ||
10 | Renling Jin, Saharon Shelah: Essential Kurepa Trees versus Essential Jech-Kunen Trees. Ann. Pure Appl. Logic 69(1): 107-131 (1994) | |
9 | Renling Jin, Saharon Shelah: The Strength of the Isomorphism Property. J. Symb. Log. 59(1): 292-301 (1994) | |
1993 | ||
8 | Renling Jin, H. Jerome Keisler: Game Sentences and Ultrapowers. Ann. Pure Appl. Logic 60(3): 261-274 (1993) | |
1992 | ||
7 | Renling Jin: Cuts in Hyperfinite Time Lines. J. Symb. Log. 57(2): 522-527 (1992) | |
6 | Renling Jin: U-Lusin Sets in Hyperfinite Time Lines. J. Symb. Log. 57(2): 528-533 (1992) | |
5 | Renling Jin: U-Monad Topologies of Hyperfinite Time Lines. J. Symb. Log. 57(2): 534-539 (1992) | |
4 | Renling Jin: A Theorem on the Isomorphism Property. J. Symb. Log. 57(3): 1011-1017 (1992) | |
3 | Renling Jin: The Isomorphism Property Versus the Special Model Axiom. J. Symb. Log. 57(3): 975-987 (1992) | |
2 | Renling Jin: A model in which every Kurepa Tree is thinck. Notre Dame Journal of Formal Logic 33(1): 120-125 (1992) | |
1991 | ||
1 | Renling Jin: Some Independence Results Related to the Kurepa Tree. Notre Dame Journal of Formal Logic 32(3): 448-457 (1991) |
1 | H. Jerome Keisler | [8] [16] |
2 | Saharon Shelah | [9] [10] [12] [13] [14] |