7 found
Sort by:
  1. Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel (2009). Stacking Mice. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Ronald B. Jensen & Martin Zeman (2000). Smooth Categories and Global. Annals of Pure and Applied Logic 102 (1-2):101-138.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Ronald Jensen (1995). Inner Models and Large Cardinals. Bulletin of Symbolic Logic 1 (4):393-407.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Hans-Dieter Donder, Ronald B. Jensen & Lee J. Stanley (1985). Condensation-Coherent Global Square Systems. In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. 42--237.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Tony Dodd & Ronald Jensen (1982). The Covering Lemma for K. Annals of Mathematical Logic 22 (1):1-30.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Ronald Björn Jensen (1968). On the Consistency of a Slight (?) Modification of Quine'smew Foundations. Synthese 19 (1-2):250 - 264.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Ronald Jensen (1967). Review: K. Jaakko J. Hintikka, Identity, Variables, and Impredicative Definitions; K. Jaakko J. Hintikka, Vicious Circle Principle and the Paradoxes. [REVIEW] Journal of Symbolic Logic 32 (2):258-259.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation