Order:
Disambiguations
Renling Jin [27]Rongdong Jin [4]Rong Jin [2]R. Jin [2]
Ruijie Jin [1]Ruyi Jin [1]Rui Jin [1]Ruizhang Jin [1]
See also
  1.  43
    An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.Alexandre Borovik, Renling Jin & Mikhail G. Katz - 2012 - Notre Dame Journal of Formal Logic 53 (4):557-570.
    A construction of the real number system based on almost homomorphisms of the integers $\mathbb {Z}$ was proposed by Schanuel, Arthan, and others. We combine such a construction with the ultrapower or limit ultrapower construction to construct the hyperreals out of integers. In fact, any hyperreal field, whose universe is a set, can be obtained by such a one-step construction directly out of integers. Even the maximal (i.e., On -saturated) hyperreal number system described by Kanovei and Reeken (2004) and independently (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  65
    The Isomorphism Property Versus the Special Model Axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
    This paper answers some questions of D. Ross in [R]. In § 1, we show that some consequences of the ℵ0- or ℵ1-special model axiom in [R] cannot be proved by the κ-isomorphism property for any cardinal κ. In § 2, we show that with one exception, the ℵ0-isomorphism property does imply the remaining consequences of the special model axiom in [R]. In § 3, we improve a result in [R] by showing that the κ-special model axiom is equivalent to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  67
    A Theorem on the Isomorphism Property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
    An L-structure is called internally presented in a nonstandard universe if its base set and interpretation of every symbol in L are internal. A nonstandard universe is said to satisfy the κ-isomorphism property if for any two internally presented L-structures U and B, where L has less than κ many symbols, U is elementarily equivalent to B implies that U is isomorphic to B. In this paper we prove that the ℵ1-isomorphism property is equivalent to the ℵ0-isomorphism property plus ℵ1-saturation.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. The Strength of the Isomorphism Property.Renling Jin & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):292-301.
    In § 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second-order types in model theory. In § 2, several applications are given. One of the applications answers a question of D. Ross in [this Journal, vol. 55 (1990), pp. 1233-1242] about infinite Loeb measure spaces.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  13
    A Model in Which Every Kurepa Tree is Thick.Renling Jin - 1991 - Notre Dame Journal of Formal Logic 33 (1):120-125.
  6.  10
    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  
  7.  45
    Possible Size of an Ultrapower of $\omega$.Renling Jin & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (1):61-77.
    Let $\omega$ be the first infinite ordinal (or the set of all natural numbers) with the usual order $<$ . In § 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of $\omega$ , whose cardinality is (1) a singular strong limit cardinal, (2) a strongly inaccessible cardinal. This answers two questions in [1], modulo the assumption of supercompactness. In § 2 we construct several $\lambda$ -Archimedean ultrapowers of $\omega$ under some large cardinal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Downey, R., F, iiForte, G. And Nies, A., Addendum To.R. Jin, I. Kalantari, L. Welch, B. Khoussainov, R. A. Shore, A. P. Pynko, P. Scowcroft, S. Shelah, J. Zapletal & J. B. Wells - 1999 - Annals of Pure and Applied Logic 98:299.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  9.  36
    The Differences Between Kurepa Trees and Jech-Kunen Trees.Renling Jin - 1993 - Archive for Mathematical Logic 32 (5):369-379.
    By an ω1 we mean a tree of power ω1 and height ω1. An ω1-tree is called a Kurepa tree if all its levels are countable and it has more than ω1 branches. An ω1-tree is called a Jech-Kunen tree if it has κ branches for some κ strictly between ω1 and $2^{\omega _1 }$ . In Sect. 1, we construct a model ofCH plus $2^{\omega _1 } > \omega _2$ , in which there exists a Kurepa tree with not (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  2
    Water and Meadow Views Both Afford Perceived but Not Performance-Based Attention Restoration: Results From Two Experimental Studies.Katherine A. Johnson, Annabelle Pontvianne, Vi Ly, Rui Jin, Jonathan Haris Januar, Keitaro Machida, Leisa D. Sargent, Kate E. Lee, Nicholas S. G. Williams & Kathryn J. H. Williams - 2022 - Frontiers in Psychology 13.
    Attention Restoration Theory proposes that exposure to natural environments helps to restore attention. For sustained attention—the ongoing application of focus to a task, the effect appears to be modest, and the underlying mechanisms of attention restoration remain unclear. Exposure to nature may improve attention performance through many means: modulation of alertness and one’s connection to nature were investigated here, in two separate studies. In both studies, participants performed the Sustained Attention to Response Task before and immediately after viewing a meadow, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  22
    Distinguishing Three Strong Saturation Properties in Nonstandard Analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
    Three results in [14] and one in [8] are analyzed in Sections 3–6 in order to supply examples on Loeb probability spaces, which distinguish the different strength among three generalizations of k-saturation, as well to answer some questions in Section 7 of [15]. In Section 3 we show that not every automorphism of a Loeb algebra is induced by an internal permutation, in Section 4 we show that if the 1-special model axiom is true, then every automorphism of a Loeb (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  28
    Constructing Types in Differentially Closed Fields That Are Analysable in the Constants.Ruizhang Jin - 2018 - Journal of Symbolic Logic 83 (4):1413-1433.
    Analysability of finiteU-rank types are explored both in general and in the theory${\rm{DC}}{{\rm{F}}_0}$. The well-known fact that the equation$\delta \left = 0$is analysable in but not almost internal to the constants is generalized to show that$\underbrace {{\rm{log}}\,\delta \cdots {\rm{log}}\,\delta }_nx = 0$is not analysable in the constants in$\left$-steps. The notion of acanonical analysisis introduced–-namely an analysis that is of minimal length and interalgebraic with every other analysis of that length. Not every analysable type admits a canonical analysis. Using properties of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Some Independence Results Related to the Kurepa Tree.Renling Jin - 1991 - Notre Dame Journal of Formal Logic 32 (3):448-457.
  14.  13
    Type Two Cuts, Bad Cuts and Very Bad Cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
    Type two cuts, bad cuts and very bad cuts are introduced in [10] for studying the relationship between Loeb measure and U-topology of a hyperfinite time line in an ω 1 -saturated nonstandard universe. The questions concerning the existence of those cuts are asked there. In this paper we answer, fully or partially, some of those questions by showing that: (1) type two cuts exist, (2) the ℵ 1 -isomorphism property implies that bad cuts exist, but no bad cuts are (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Development of Computerized Adaptive Testing for Emotion Regulation.Lingling Xu, Ruyi Jin, Feifei Huang, Yanhui Zhou, Zonglong Li & Minqiang Zhang - 2020 - Frontiers in Psychology 11.
    Emotion regulation plays a vital role in individuals’ well-being and successful functioning. In this study, we attempted to develop a computerized adaptive testing to efficiently evaluate ER, namely the CAT-ER. The initial CAT-ER item bank comprised 154 items from six commonly used ER scales, which were completed by 887 participants recruited in China. We conducted unidimensionality testing, item response theory model comparison and selection, and IRT item analysis including local independence, item fit, differential item functioning, and item discrimination. Sixty-three items (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  95
    Maharam Spectra of Loeb Spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.
    We characterize Maharam spectra of Loeb probability spaces and give some applications of the results.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  16
    Temporal Features of the Differentiation Between Self-Name and Religious Leader Name Among Christians: An ERP Study.Ruixue Xia, Ruijie Jin, Lin Yong, Shaodong Li, Shifeng Li & Aibao Zhou - 2018 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  27
    U-Lusin Sets in Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.
    In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  24
    Inverse Problem for Cuts.Renling Jin - 2007 - Logic and Analysis 1 (1):61-89.
    Let U be an initial segment of $^*{\mathbb N}$ closed under addition (such U is called a cut) with uncountable cofinality and A be a subset of U, which is the intersection of U and an internal subset of $^*{\mathbb N}$ . Suppose A has lower U-density α strictly between 0 and 3/5. We show that either there exists a standard real $\epsilon$ > 0 and there are sufficiently large x in A such that | (A+A) ∩ [0, 2x]| > (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  28
    U-Monad Topologies of Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.
    In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  21.  1
    Platform Leadership and Sustainable Competitive Advantage: The Mediating Role of Ambidextrous Learning.Xiao Yang, Rong Jin & Changyi Zhao - 2022 - Frontiers in Psychology 13.
    In the context of the knowledge economy, the role of traditional leadership for enterprises is questioned. Based on contingency theory and the resource-based view, this paper proposes the important role of platform leadership, a new leadership type in line with the context of the times, for a sustainable competitive advantage. We conducted an empirical study to examine and confirm the positive effects of platform leadership on sustainable competitive advantage and ambidextrous learning. We also verified the mediation effect of exploratory and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  20
    Compactness of Loeb Spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.
    In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In $\S1$ we prove that Loeb spaces are compact under various assumptions, and in $\S2$ we prove that Loeb spaces are not compact under various other assumptions. The results in $\S1$ and $\S2$ give a quite complete answer to a question of D. Ross in [9], [11] and [12].
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  23.  30
    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 (8 more)  
     
    Export citation  
     
    Bookmark  
  24.  23
    Existence of Some Sparse Sets of Nonstandard Natural Numbers.Renling Jin - 2001 - Journal of Symbolic Logic 66 (2):959-973.
    Answers are given to two questions concerning the existence of some sparse subsets of $\mathscr{H} = \{0, 1,..., H - 1\} \subseteq * \mathbb{N}$ , where H is a hyperfinite integer. In § 1, we answer a question of Kanovei by showing that for a given cut U in H, there exists a countably determined set $X \subseteq \mathscr{H}$ which contains exactly one element in each U-monad, if and only if U = a · N for some $a \in \mathscr{H} (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  25.  11
    Rationality, Reasonableness and Informal Logic: A Case Study of Chaim Perelman.Rongdong Jin & Christopher W. Tindale - unknown
    Perelman’s discussion about the distinction and relation between the rational and the reason-able could be seen as an attempt to bring forward a new understanding of rationality. In light of the concep-tion of situated reason, this paper argues that Perelman’s explication of the dialectic of the rational and the reasonable highlights the balance of universality and contexuality, and could contribute a fuller conception of rationality to establishing a solid philosophical foundation for Johnson’s informal logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. GlaR, T., Rathjen, M. And Schliiter, A., On the Proof-Theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85:283.
  27.  4
    Slow P-Point Ultrafilters.Renling Jin - 2020 - Journal of Symbolic Logic 85 (1):26-36.
    We answer a question of Blass, Di Nasso, and Forti [2, 7] by proving, assuming Continuum Hypothesis or Martin’s Axiom, that there exists a P-point which is not interval-to-one and there exists an interval-to-one P-point which is neither quasi-selective nor weakly Ramsey.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  8
    Shifting Focus From the Universal Audience to the Common Good.George Boger & Rongdong Jin - unknown
    Humanist concerns to empower human beings and to promote justice inspired the modern argumentation movement. Turning to audience adherence and acceptability of inferential links raised a spectre of pernicious relativism that undermines concerns for justice. Invoking Perelman’s universal audi-ence as a remedy only begs the question with ‘whose universal audience?’ and frustrates fulfilling the jus-tice commitment. Turning discourse toward the common good better addresses concerns of justice and social justice.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    High Density Piecewise Syndeticity of Product Sets in Amenable Groups.Mauro di Nasso, Isaac Goldbring, Renling Jin, Steven Leth, Martino Lupini & Karl Mahlburg - 2016 - Journal of Symbolic Logic 81 (4):1555-1562.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  23
    Cuts in Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):522-527.
    In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  23
    Can a Small Forcing Create Kurepa Trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
    In this paper we probe the possibilities of creating a Kurepa tree in a generic extension of a ground model of CH plus no Kurepa trees by an ω1-preserving forcing notion of size at most ω1. In Section 1 we show that in the Lévy model obtained by collapsing all cardinals between ω1 and a strongly inaccessible cardinal by forcing with a countable support Lévy collapsing order, many ω1-preserving forcing notions of size at most ω1 including all ω-proper forcing notions (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  1
    One-Pass AUC Optimization.Wei Gao, Lu Wang, Rong Jin, Shenghuo Zhu & Zhi-Hua Zhou - 2016 - Artificial Intelligence 236:1-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  10
    Essential Kurepa Trees Versus Essential Jech–Kunen Trees.Renling Jin & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):107-131.
    By an ω1-tree we mean a tree of cardinality ω1 and height ω1. An ω1-tree is called a Kurepa tree if all its levels are countable and it has more than ω1 branches. An ω1-tree is called a Jech–Kunen tree if it has κ branches for some κ strictly between ω1 and 2ω1. A Kurepa tree is called an essential Kurepa tree if it contains no Jech–Kunen subtrees. A Jech–Kunen tree is called an essential Jech–Kunen tree if it is no (...)
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation