Publications and Notes (H. Sakai)
Publications

(with S. Cox)
Martin's Maximum and the Diagonal Reflection Principle
Submitted to RIMS Kokyuroku.

(with S. Fuchino and A.O.M. Rodorigues)
Strong downward LowenheimSkolem therorems for stationary logics, III
To appear in Proceedings of 16th Asian Logic Conference.

(with S. Fuchino and A.O.M. Rodorigues)
Strong downward LowenheimSkolem therorems for stationary logics, II
To appear in Archive for Mathematical Logic.

(with S. Fuchino and A.O.M. Rodorigues)
Strong downward LowenheimSkolem therorems for stationary logics, I
To appear in Archive for Mathematical Logic.

(with B. Cody)
How much weak compactness does the weakly compact reflection principle imply?
Archive for Mathematical Logic 59 (2020), no.1, 179196.

(with S. Cox)
A variant of Shelah's characterization of Strong Chang's Conjecture
Mathematical Logic Quarterly 65 (2019), no.2, 251257.

(with Y. Matsubara and T. Usuba)
On the existence of skinny stationary subsets
Annals of Pure and Applied Logic 170 (2019), no.5, 539557.

On Katetov and KatetovBlass orders on analytic Pideals and Borel ideals
Archive for Mathematical Logic 57 (2018), no.34, 317327.

(with H. Minami)
Katetov and KatetovBlass orders on F_\sigmaideals
Archive for Mathematical Logic 55 (2016), no.7, 883898.

Separation of MA^+ (sigmaclosed) from stationary reflection principles
submitted.

(with J. Bagaria and M. Magidor)
Reflection and indescribability in the constructible universe
Israel Journal of Mathematics 208 (2015), pp.111.

Simple proofs of SCH from reflection principles without using better scales
Archive for Mathematical Logic 54 (2015), no.5, pp.639647.

Note on covering and approximation properties
RIMS Kokyuroku no.1949, pp.8188, 2015.

(with B. Velickovic)
Stationary reflection principles and two cardinal tree properties
Journal of the Institute of Mathematics of Jussieu 14 (2015), no.1, pp.6985.

Chang's conjecture and weak square
Archive for Mathematical Logic 52 (2013), no.12, pp.2945.

(with M. Kikuchi and T. Kurahashi)
On proofs of the incompleteness theorems based on Berry's paradox
by Vopenka, Chaitin, and Boolos
Mathematical Logic Quarterly 58 (2012), no.45, pp.307316.

Partial square at omega_1 is implied by MM but not by PFA
Fundamenta Mathematicae 215 (2011), pp.109131.

On standard model of Martin's Maximum
RIMS Kokyuroku no.1754, pp.97107, 2011.

On preservation and reflection of stationary subsets
of P_\kappa \lambda when cof( \lambda ) < \kappa
the Proceedings of the 10th Asian Logic Conference,
pp.271299, World Sci. Publ., 2010.

Partial stationary reflection in P_{\omega_1} \omega_2
RIMS Kokyuroku no.1595, pp.4762, 2008.

Semistationary and stationary reflection
Journal of Symbolic Logic 73 (2008), no.1, pp.181192.

(with S. Fuchino, M. Karato and T. Usuba)
\kappa^\kappa in light of Tukey ordering
RIMS Kokyuroku no.1471, pp.1934, 2006.

Semiproper ideals
Fundamenta Mathematicae 186 (2005), no.3, pp.251267.

Generalized Prikry forcing and iteration of generic ultrapowers
Mathematical Logic Quarterly 51, no.5, pp.507523, 2005.
Notes
Hiroshi Sakai
Graduate School of System Informatics
Kobe University
Email: