Switch to: References

Add citations

You must login to add citations.
  1. Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse.Amitayu Banerjee - 2020 - Mathematical Logic Quarterly 66 (3):259-279.
    We improve on results and constructions by Apter, Dimitriou, Gitik, Hayut, Karagila, and Koepke concerning large cardinals, ultrafilters, and cofinalities without the axiom of choice. In particular, we show the consistency of the following statements from certain assumptions: the first supercompact cardinal can be the first uncountable regular cardinal, all successors of regular cardinals are Ramsey, every sequence of stationary sets in is mutually stationary, an infinitary Chang conjecture holds for the cardinals, and all are singular. In each of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse.Amitayu Banerjee - 2022 - Archive for Mathematical Logic 62 (3):369-399.
    We work with symmetric extensions based on Lévy collapse and extend a few results of Apter, Cody, and Koepke. We prove a conjecture of Dimitriou from her Ph.D. thesis. We also observe that if V is a model of $$\textsf {ZFC}$$ ZFC, then $$\textsf {DC}_{<\kappa }$$ DC < κ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is $$\kappa $$ (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • How many normal measures can ℵmath image carry?Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (2):164-170.
    Relative to the existence of a supercompact cardinal with a measurable cardinal above it, we show that it is consistent for ℵ1 to be regular and for ℵmath image to be measurable and to carry precisely τ normal measures, where τ ≥ ℵmath image is any regular cardinal. This extends the work of [2], in which the analogous result was obtained for ℵω +1 using the same hypotheses.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2016 - Mathematical Logic Quarterly 62 (3):225-231.
    Using the analysis developed in our earlier paper, we show that every uncountable cardinal in Gitik's model of in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable cardinals. Our work consequently reduces the best previously known upper bound in consistency strength for the theory math formula (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation