6 found
Order:
Disambiguations
Ronald Björn Jensen [4]Ronald B. Jensen [2]
  1.  88
    On the consistency of a slight (?) Modification of quine'smew foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.
  2.  26
    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   6 citations  
  3.  20
    Condensation-coherent global square systems.Hans-Dieter Donder, Ronald B. Jensen & Lee J. Stanley - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--237.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  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  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  8
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  4
    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
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation