Switch to: References

Add citations

You must login to add citations.
  1. Large cardinals need not be large in HOD.Yong Cheng, Sy-David Friedman & Joel David Hamkins - 2015 - Annals of Pure and Applied Logic 166 (11):1186-1198.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • An Easton like theorem in the presence of Shelah cardinals.Mohammad Golshani - 2017 - Archive for Mathematical Logic 56 (3-4):273-287.
    We show that Shelah cardinals are preserved under the canonical GCH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathrm{GCH}}}$$\end{document} forcing notion. We also show that if GCH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathrm{GCH}}}$$\end{document} holds and F:REG→CARD\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$F:{{\mathrm{REG}}}\rightarrow {{\mathrm{CARD}}}$$\end{document} is an Easton function which satisfies some weak properties, then there exists a cofinality preserving generic extension of the universe which preserves Shelah cardinals and satisfies ∀κ∈REG,2κ=F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Easton's theorem for the tree property below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.
    Download  
     
    Export citation  
     
    Bookmark  
  • Woodin for strong compactness cardinals.Stamatis Dimopoulos - 2019 - Journal of Symbolic Logic 84 (1):301-319.
    Download  
     
    Export citation  
     
    Bookmark