Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.
    If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.
    If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Some remarks on changing cofinalities.Keith J. Devlin - 1974 - Journal of Symbolic Logic 39 (1):27-30.
    In [2], Prikry showed that if κ is a weakly inaccessible cardinal which carries a Rowbottom filter, then there is a Boolean extension of V (the universe), having the same cardinals as V, in which cf(κ) = ω. In this note, we obtain necessary and sufficient conditions which a filter D on κ must possess in order that this may be done.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (1 other version)The covering lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Ultrafilters over a measurable cardinal.A. Kanamori - 1976 - Annals of Mathematical Logic 10 (3-4):315-356.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Proper and Improper Forcing.Péter Komjáath - 2000 - Studia Logica 64 (3):421-425.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.
    Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the normality (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations