10 found
Order:
Disambiguations
Ronald Jensen [6]Ronald B. Jensen [2]Ronald Björn Jensen [2]
  1.  14
    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  
     
    My bibliography   5 citations  
  2.  4
    The Covering Lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  3.  72
    Inner Models and Large Cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  4.  45
    On the Consistency of a Slight (?) Modification of Quine'smew Foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  5.  1
    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 (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  6. $K$ Without the Measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
  7.  1
    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  
     
    My bibliography   2 citations  
  8. Jaakko K. Hintikka J.. Identity, Variables, and Impredicative Definitions.Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. 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  
     
    My bibliography  
  10. Review: K. Jaakko J. Hintikka, Identity, Variables, and Impredicative Definitions; K. Jaakko J. Hintikka, Vicious Circle Principle and the Paradoxes. [REVIEW]Ronald Jensen - 1967 - Journal of Symbolic Logic 32 (2):258-259.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography