7 found
Sort by:
  1. Richard Laver (2007). Certain Very Large Cardinals Are Not Created in Small Forcing Extensions. Annals of Pure and Applied Logic 149 (1):1-6.
    The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j:Vλ→Vλ, the existence of such a j which is moreover , and the existence of such a j which extends to an elementary j:Vλ+1→Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of these preservations are proved. Also the following is shown : if V is a model (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Richard Laver (2001). Reflection of Elementary Embedding Axioms on the Hierarchy. Annals of Pure and Applied Logic 107 (1-3):227-238.
    Say that the property Φ of a cardinal λ strongly implies the property Ψ. If and only if for every λ,Φ implies that Ψ and that for some λ′<λ,Ψ. Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms of the form “there is an elementary embedding j:Lα[Vλ+1]→Lα[Vλ+1] with ”.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Richard Laver (1997). Implications Between Strong Large Cardinal Axioms. Annals of Pure and Applied Logic 90 (1-3):79-90.
    The rank-into-rank and stronger large cardinal axioms assert the existence of certain elementary embeddings. By the preservation of the large cardinal properties of the embeddings under certain operations, strong implications between various of these axioms are derived.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Carl G. Jockusch Jr, Richard Laver, Donald Monk, Jan Mycielski & Jon Pearce (1984). Annual Meeting of the Association for Symbolic Logic: Denver, 1983. Journal of Symbolic Logic 49 (2):674 - 682.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. James E. Baumgartner & Richard Laver (1979). Iterated Perfect-Set Forcing. Annals of Mathematical Logic 17 (3):271-288.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Richard Laver (1975). Review: R. Bjorn Jensen, The Fine Structure of the Constructible Hierarchy. [REVIEW] Journal of Symbolic Logic 40 (4):632-633.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Richard Laver (1973). Review: Robert M. Solovay, A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable. [REVIEW] Journal of Symbolic Logic 38 (3):529-529.
    Direct download  
     
    My bibliography  
     
    Export citation