Some Independence Results Related to the Kurepa Tree. - Renling Jin (Notre Dame J. Formal Log., 1991)

Cuts in Hyperfinite Time Lines. - Renling Jin (J. Symb. Log., 1992)

U-Lusin Sets in Hyperfinite Time Lines. - Renling Jin (J. Symb. Log., 1992)

U-Monad Topologies of Hyperfinite Time Lines. - Renling Jin (J. Symb. Log., 1992)

The Isomorphism Property Versus the Special Model Axiom. - Renling Jin (J. Symb. Log., 1992)

A Theorem on the Isomorphism Property. - Renling Jin (J. Symb. Log., 1992)

A model in which every Kurepa Tree is thinck. - Renling Jin (Notre Dame J. Formal Log., 1992)

The differences between Kurepa trees and Jech-Kunen trees. - Renling Jin (Arch. Math. Log., 1993)

Game Sentences and Ultrapowers. - Renling Jin; H. Jerome Keisler (Ann. Pure Appl. Log., 1993)

Essential Kurepa Trees versus Essential Jech-Kunen Trees. - Renling Jin; Saharon Shelah (Ann. Pure Appl. Log., 1994)

The Strength of the Isomorphism Property. - Renling Jin; Saharon Shelah (J. Symb. Log., 1994)

Can a Small Forcing Create Kurepa Trees. - Renling Jin; Saharon Shelah (Ann. Pure Appl. Log., 1997)

Type Two Cuts, Bad Cuts and Very Bad Cuts. - Renling Jin (J. Symb. Log., 1997)

Compactness of Loeb Spaces. - Renling Jin; Saharon Shelah (J. Symb. Log., 1998)

Possible size of an ultrapower of w omega. - Renling Jin; Saharon Shelah (Arch. Math. Log., 1999)

Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. - Renling Jin (Ann. Pure Appl. Log., 1999)

Standardizing nonstandard methods for upper Banach density problems. - Renling Jin (Unusual Applications of Number Theory, 2000)

Applications of nonstandard analysis in additive number theory. - Renling Jin (Bull. Symb. Log., 2000)

Maharam Spectra of Loeb Spaces. - Renling Jin; H. Jerome Keisler (J. Symb. Log., 2000)

Existence of Some Sparse Sets of Nonstandard Natural Numbers. - Renling Jin (J. Symb. Log., 2001)

Inverse problem for cuts. - Renling Jin (Log. Anal., 2007)

An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals. - Alexandre V. Borovik; Renling Jin; Mikhail G. Katz (Notre Dame J. Formal Log., 2012)

Detailed Structure for Freiman's 3k-3 Theorem. - Renling Jin (Integers, 2015)

Approximate Polynomial Structure in Additively Large Sets. - Mauro Di Nasso; Isaac Goldbring; Renling Jin; Steven Leth; Martino Lupini; Karl Mahlburg (Integers, 2016)

High density piecewise Syndeticity of Product Sets in Amenable Groups. - Mauro Di Nasso; Isaac Goldbring; Renling Jin; Steven Leth; Martino Lupini; Karl Mahlburg (J. Symb. Log., 2016)

Slow P-Point Ultrafilters. - Renling Jin (J. Symb. Log., 2020)

Generic existence of interval P-points. - Jialiang He; Renling Jin; Shuguo Zhang (Arch. Math. Log., 2023)

Foundations of iterated star maps and their use in combinatorics. - Mauro Di Nasso; Renling Jin (Ann. Pure Appl. Log., 2025)