13 found
Order:
Disambiguations
Ronald Jensen [7]Ronald Björn Jensen [4]Ronald B. Jensen [2]
  1.  59
    On the Consistency of a Slight (?) Modification of Quine'smew Foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
  2.  85
    Inner Models and Large Cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
    In this paper, we sketch the development of two important themes of modern set theory, both of which can be regarded as growing out of work of Kurt Gödel. We begin with a review of some basic concepts and conventions of set theory.§0. The ordinal numbers were Georg Cantor's deepest contribution to mathematics. After the natural numbers 0, 1, …, n, … comes the first infinite ordinal number ω, followed by ω + 1, ω + 2, …, ω + ω, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  3.  45
    Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  12
    The Covering Lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
  5.  5
    $K$ Without the Measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
    We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definablecore modelthat is close toVin various ways.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  10
    Smooth Categories and Global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.
    We shall construct a smooth category of mice and embeddings in the core model for measures of order 0. The existence of such a category implies that the global principle □ holds in K. We then prove a much stronger, the so-called condensation-coherent version of global □. The key tool of the whole construction is a new criterion on preserving soundness under condensation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  12
    Condensation-Coherent Global Square Systems.Hans-Dieter Donder, Ronald B. Jensen & Lee J. Stanley - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--237.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  3
    The Core Model.A. Dodd, R. Jensen, Tony Dodd, Ronald Jensen, A. J. Dodd & R. B. Jensen - 1984 - Journal of Symbolic Logic 49 (2):660-662.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität.Ronald Björn Jensen - 1965 - Archive for Mathematical Logic 7 (3-4):128-138.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10.  10
    Jaakko K. Hintikka J.. Identity, Variables, and Impredicative Definitions.Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    K. Jaakko J. Hintikka. Identity, Variables, and Impredicative Definitions. The Journal of Symbolic Logic, Vol. 21 , Pp. 225–245. - K. Jaakko J. Hintikka. Vicious Circle Principle and the Paradoxes. The Journal of Symbolic Logic, Vol. 22 , Pp. 245–249. [REVIEW]Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
  12. Modelle der Mengenlehre Widerspruchsfreiheit Und Unabhängigkeit der Kontinuum-Hypothese Und des Auswahlaxioms.Ronald Björn Jensen & Franz Josef Leven - 1967 - Springer Verlag.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13. Mengeninduktion und Fundierungsaxiom.Ronald Björn Jensen & Max E. Schröder - 1969 - Archive for Mathematical Logic 12 (3-4):119-133.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations