Switch to: Citations

Add references

You must login to add references.
  1. Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
    Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal $\kappa$ indestructible under $\kappa$-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe satisfies certain indestructibility properties. Specifically, we show that if K is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the only strongly (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata.J. D. Hamkins & A. W. Apter - 2001 - Mathematical Logic Quarterly 47 (4):563-572.
    We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Some new upper bounds in consistency strength for certain choiceless large cardinal patterns.Arthur W. Apter - 1992 - Archive for Mathematical Logic 31 (3):201-205.
    In this paper, we show that certain choiceless models of ZF originally constructed using an almost huge cardinal can be constructed using cardinals strictly weaker in consistency strength.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
    We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.
    Download  
     
    Export citation  
     
    Bookmark   17 citations