Switch to: References

Add citations

You must login to add citations.
  1. More on Regular and Decomposable Ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.
    We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: If m ≥ 1 and the ultrafilter D is , equation imagem)-regular, then D is κ -decomposable for some κ with λ ≤ κ ≤ 2λ ). If λ is a strong limit cardinal and D is , equation imagem)-regular, then either D is -regular or there are arbitrarily large κ < λ for which D is κ -decomposable ). Suppose that λ is singular, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Tall Cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
    A cardinal κ is tall if for every ordinal θ there is an embedding j: V → M with critical point κ such that j > θ and Mκ ⊆ M. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a strong cardinal. Any tall cardinal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Tallness and Level by Level Equivalence and Inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
    We construct two models containing exactly one supercompact cardinal in which all non-supercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Level by Level Equivalence and Strong Compactness.Arthur W. Apter - 2004 - Mathematical Logic Quarterly 50 (1):51.
    We force and construct models in which there are non-supercompact strongly compact cardinals which aren't measurable limits of strongly compact cardinals and in which level by level equivalence between strong compactness and supercompactness holds non-trivially except at strongly compact cardinals. In these models, every measurable cardinal κ which isn't either strongly compact or a witness to a certain phenomenon first discovered by Menas is such that for every regular cardinal λ > κ, κ is λ strongly compact iff κ is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Precisely Controlling Level by Level Behavior.Arthur W. Apter - 2017 - Mathematical Logic Quarterly 63 (1-2):77-84.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Universal Indestructibility for Degrees of Supercompactness and Strongly Compact Cardinals.Arthur W. Apter & Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (2):133-142.
    We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a significant amount of indestructibility (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Remarks on Indestructibility and Hamkins? Lottery Preparation.Arthur W. Apter - 2003 - Archive for Mathematical Logic 42 (8):717-735.
    .In this paper, we first prove several general theorems about strongness, supercompactness, and indestructibility, along the way giving some new applications of Hamkins’ lottery preparation forcing to indestructibility. We then show that it is consistent, relative to the existence of cardinals κ<λ so that κ is λ supercompact and λ is inaccessible, for the least strongly compact cardinal κ to be the least strong cardinal and to have its strongness, but not its strong compactness, indestructible under κ-strategically closed forcing.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the Consistency Strength of Level by Level Inequivalence.Arthur W. Apter - 2017 - Archive for Mathematical Logic 56 (7-8):715-723.
    We show that the theories “ZFC \ There is a supercompact cardinal” and “ZFC \ There is a supercompact cardinal \ Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations