10 found
Order:
  1.  36
    Chang’s Conjecture and Weak Square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.
    We investigate how weak square principles are denied by Chang’s Conjecture and its generalizations. Among other things we prove that Chang’s Conjecture does not imply the failure of ${\square_{\omega_1, 2}}$ , i.e. Chang’s Conjecture is consistent with ${\square_{\omega_1, 2}}$.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  43
    On Proofs of the Incompleteness Theorems Based on Berry's Paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  8
    Simple Proofs of $${\Mathsf{SCH}}$$ SCH From Reflection Principles Without Using Better Scales.Hiroshi Sakai - 2015 - Archive for Mathematical Logic 54 (5-6):639-647.
  4.  10
    On the Existence of Skinny Stationary Subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  23
    Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
    We study the relationship between the semistationary reflection principle and stationary reflection principles. We show that for all regular cardinals Λ ≥ ω₂ the semistationary reflection principle in the space [Λ](1) implies that every stationary subset of $E_{\omega}^{\lambda}\coloneq \{\alpha \in \lambda \,|\,{\rm cf}(\alpha)=\omega \}$ reflects. We also show that for all cardinals Λ ≥ ω₃ the semistationary reflection principle in [Λ](1) does not imply the stationary reflection principle in [Λ](1).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  1
    The Weakly Compact Reflection Principle Need Not Imply a High Order of Weak Compactness.Brent Cody & Hiroshi Sakai - forthcoming - Archive for Mathematical Logic:1-18.
    The weakly compact reflection principle\\) states that \ is a weakly compact cardinal and every weakly compact subset of \ has a weakly compact proper initial segment. The weakly compact reflection principle at \ implies that \ is an \-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that \ is \\)-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at \ then there is a forcing extension preserving (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    On Katětov and Katětov–Blass Orders on Analytic P-Ideals and Borel Ideals.Hiroshi Sakai - 2018 - Archive for Mathematical Logic 57 (3-4):317-327.
    Minami–Sakai :883–898, 2016) investigated the cofinal types of the Katětov and the Katětov–Blass orders on the family of all \ ideals. In this paper we discuss these orders on analytic P-ideals and Borel ideals. We prove the following:The family of all analytic P-ideals has the largest element with respect to the Katětov and the Katětov–Blass orders.The family of all Borel ideals is countably upward directed with respect to the Katětov and the Katětov–Blass orders. In the course of the proof of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  12
    Semistationary Reection and Weak Square.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
  9.  11
    Generalized Prikry Forcing and Iteration of Generic Ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.
    It is known that there is a close relation between Prikry forcing and the iteration of ultrapowers: If U is a normal ultrafilter on a measurable cardinal κ and 〈Mn, jm,n | m ≤ n ≤ ω〉 is the iteration of ultrapowers of V by U, then the sequence of critical points 〈j0,n | n ∈ ω〉 is a Prikry generic sequence over Mω. In this paper we generalize this for normal precipitous filters.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. A Variant of Shelah's Characterization of Strong Chang's Conjecture.Sean Cox & Hiroshi Sakai - 2019 - Mathematical Logic Quarterly 65 (2):251-257.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark