- Some consequences from Proper Forcing Axiom together with large continuum and the negation of Martin’s Axiom,
*J. Math. Soc. Japan*69 (2017), no. 3, 913-943.

David Asperó and Miguel Angel Mota discovered a new method of iterated forcing using models as side conditions [Forcing consequences of PFA together with the continuum large,

*Trans. Amer. Math. Soc.*367 (2015), no. 9, 6103-6129]. The side condition method with models was introduced by Stevo Todorčević in the 1980s. The Asperó-Mota iteration enables us to force some $\Pi_2$-statements over $H(\aleph_2)$ with the continuum greater than $\aleph_2$. In this article, by using the Asperó-Mota iteration, we prove that it is consistent that $\mho$ fails, there are no weak club guessing ladder systems, $\mathfrak p=\mathrm{add}({\mathcal N})=2^{\aleph_0} > \aleph_2$ and $\mathsf{MA}_{\aleph_1}$ fails. - Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree,
*Notre Dame J. Form. Log.*58 (2017), no. 3, 381–396.

We show that under $\mathsf{PFA}(S)$, the coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.

- Keeping the covering number of the null ideal small,
*Fund. Math.*231 (2015), 139-159.

It is proved that ideal-based forcings with the side condition method of Todorčević add no random reals. By applying Judah-Repický’s preservation theorem, it is consistent with the covering number of the null ideal equal to $\aleph_1$ that there are no $S$-spaces, every poset of uniform density $\aleph_1$ adds $\aleph_1$ Cohen reals, there are only five cofinal types of directed posets of size $\aleph_1$, and so on. This extends the previous work due to Zapletal [Keeping additivity of the null ideal small,

*Proc. Amer. Math. Soc.*125 (1997), no. 6, 2443-2451].

Chodounský and Zapletal developed this result in [Why Y-c.c,*Ann. Pure Appl. Logic*166 (2015), no. 11, 1123–1149]. - A note on a forcing related to the S-space problem in the extension with a coherent Suslin tree,
*Math. Log. Q.*61 (2015), no. 3, 169-178.

One of the main problems about $\mathsf{PFA}(S)$ is that whether a coherent Suslin tree forces that there are no S-spaces under $\mathsf{PFA}(S)$. We analyze a forcing notion related to this problem, and show that under $\mathsf{PFA}(S)$, $S$ forces that every topology on $\omega_1$ generated by a basis in the ground model is not an S-topology. This supplements the previous work due to Stevo Todorčević.

- Todorcevic orderings as examples of ccc orcings without adding random reals,
*Comment. Math. Univ. Carolin.*56, 1 (2015) 125-132.

In [Two examples of Borel partially ordered sets with the countable chain condition,

*Proc. Amer. Math. Soc.*112 (1991), no. 4, 1125-1128], Todorčević introduced a ccc forcing which is Borel definable in a separable metric space. In [On Todorcevic orderings,*Fund. Math.*, 228 (2015), 173-192], Balcar, Pazák and Thümmel applied it to more general topological spaces and called such forcings Todorčević orderings. There they analyze Todorčević orderings quite deeply. A significant remark is that Thümmel solved the problem of Horn and Tarski by use of Todorčević ordering [The problem of Horn and Tarski,*Proc. Amer. Math. Soc.*142 (2014), no. 6, 1997-2000].

This paper supplements the analysis of Todorčević orderings due to Balcar, Pazák and Thümmel. More precisely,

it is proved that Todorčević orderings add no random reals whenever they have the countable chain condition.

Chodounský and Zapletal developed this result in [Why Y-c.c,*Ann. Pure Appl. Logic*166 (2015), no. 11, 1123–1149]. - Suslin lattices,
*Order*, 31 (2014), no. 1, 55-79. (joint work with Dilip Raghavan)

My contribution is that Jensen’s diamond implies the existence of a Suslin lower semi-lattice which is a substructure of $\langle \mathcal{P}(\omega), \subsetneq,\cap\rangle$. All of other results are proved by Dilip.

- Elementary submodel arguments in Balogh’s Dowker spaces,
*Topology Proc.*40 (2012), 289-296. (Joint work with Haruto Ohta)

We prove a combinatorial lemma which enables us to prove that Balogh’s natural Dowker space is not countably paracompact without using elementary submodes.

- Uniformizing Ladder system colorings and the rectangle refining property,
*Proc. Amer. Math. Soc.*138 (2010), no. 8, 2961-2971.

We investigate forcing notions with the rectangle refining property, which is stronger than the countable chain condition, and fragments of Martin’s Axiom for such forcing notions. We prove that it is consistent that every forcing notion with the rectangle refining property has precaliber $\aleph_1$ but $\mathsf{MA}_{\aleph_1}$ for forcing notions with the rectangle refining property fails.

- A non-implication between fragments of Martin’s Axiom related to some property which comes from Aronszajn trees,
*Ann. Pure Appl. Logic*161 (2010), no. 4, 469-487.

(Its correction ,*Ann. Pure Appl. Logic*162 (2011), 752-754.)We introduce a property of forcing notions, called the anti-$\mathsf{R}_{1,\aleph_1}$, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property $\mathsf{R}_{1,\aleph_1}$.In this paper, we investigate the property $\mathsf{R}_{1,\aleph_1}$. For example, we show that a forcing notion with the property $\mathsf{R}_{1,\aleph_1}$ does not add random reals. We prove that it is consistent that every forcing notion with the property $\mathsf{R}_{1,\aleph_1}$ has precaliber $\aleph_1$ and $\mathsf{MA}_{\aleph_1}$ for forcing notions with the property $\mathsf{R}_{1,\aleph_1}$ fails. This negatively answers a part of one of classical problems about implications between fragments of $\mathsf{MA}_{\aleph_1}$.

- Rudin’s Dowker space in the extension with a Suslin tree,
*Fund. Math.*201 (2008), 53-89.

We introduce a generalization of a Dowker space constructed from a Suslin tree due to Mary Ellen Rudin, and the rectangle refining property for forcing notions, which is modified the one for partitions due to Paul B. Larson and Stevo Todorčević and is a property stronger than the countable chain condition. It is proved that Martin’s Axiom for forcing notions with the rectangle refining property implies that every generalized Rudin’s space from Aronszajn trees is not Dowker, and a Suslin tree may force that every generalized Rudin’s space with Aronszajn trees is not Dowker. Moreover, we observe generalized Rudin’s spaces with some types of

non-Aronszajn $\omega_1$-trees under the Proper Forcing Axiom. - Some weak fragments of Martin’s Axiom related to the rectangle refining property,
*Arch. Math. Logic*47 (2008), 79-90.

We introduce the anti-rectangle refining property for forcing notions and investigate fragments of Martin’s axiom for $\aleph_1$ dense sets related to the anti-rectangle refining property, which is close to some fragment of Martin’s axiom for $\aleph_1$ dense sets related to the rectangle refining property, and prove that they are really weaker fragments.

- Independent families of destructible gaps,
*Tsukuba J. Math.*31 (2007), no. 1, 129-141.

We investigate the finite support product of forcing notions related to destructible gaps, and prove the existence of a large set of independent destructible gaps under $\diamondsuit$.

- $\mathbb{P}_{\rm max}$ variations related to slaloms,
*Math. Log. Q.*52 (2006), no. 2, 203-216.

We prove the iteration lemmata, which are the key lemmata to show that extensions by $\mathbb{P}_{\rm max}$ variations satisfy absoluteness for $\Pi_2$-statements in the structure for some set of reals in $L(\mathbb R)$, for the following statements: (1) The cofinality of the null ideal is $\aleph_1$. (2) There exists a good basis of the strong measure zero ideal.

- Combinatorial principles on $\omega_1$, cardinal invariants of the meager ideal and destructible gaps,
*J. Math. Soc. Japan*57 (2005), no. 4, 1217-1228.

We show that (1) The principle “Stick” plus the covering number of the meager ideal larger than $\aleph_1$ implies the existence of a destructible gap and (2) $\clubsuit$ plus the cofinality of the meager ideal equal to $\aleph_1$ implies the existence of a destructible gap.

- The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap,
*Arch. Math. Logic*44 (2005), 677-683.

I proved the title which answers a question addressed in the paper of Moore-Hrusak-Dzamonja [Parametrized $\diamondsuit$ principles,

*Trans. Amer. Math. Soc.*356 (2004), no. 6, 2281–2306]. - Distinguishing types of gaps in $\mathcal{P}(\omega)/{\rm fin}$,
*J. Symbolic Logic*68 (2003), no. 4, 1261-1276.

Supplementing the well known results of Kunen we show that Martin’s Axiom is not sufficient to decide the existence of $(\omega_1,\mathfrak c)$-gaps when $(\mathfrak c,\mathfrak c)$-gaps exist, that is, it is consistent with ZFC that Martin’s Axiom holds and there are $(\mathfrak c,\mathfrak c)$-gaps but no $(\omega_1,\mathfrak c)$-gaps.

- Forcings with the countable chain condition and the covering number of the Marczewski ideal,
*Arch. Math. Logic*42 (2003), no. 7, 695-710.

This paper has two main results. One is that in the extension with Cohen, random and Hechler forcing notions, the set of old reals is Marczewski null. The other is that in the extension with a finite support iteration of Hechler forcing, the covering number of the Marczewski ideal is $\aleph_1$.

- The cofinality of the strong measure zero ideal,
*J. Symbolic Logic*67 (2002), no. 4, 1373-1384.

The main results of this paper is that it is consistent with ZFC that the value of the cofinality of the strong measure zero ideal is less than the continuum. In this paper we study the relationship between it’s cofinality and the dominating number in the set of functions from $\kappa$ into $\kappa$.

- A comment on Bagaria-Shelah’s fragment of Martin’s axiom, Iterated forcings and cardinal invariants (RIMS 2017),
*Sūrikaisekikenkyūsho Kōkyūroku*, No. 2081 (2018), 62-68.

By use of the idea of Bagaria and Shelah in [On partial orderings having precalibre-$\aleph_1$ and fragments of Martin’s axiom, Fund. Math. 232 (2016), no. 2, 181–197], it is proved that it is consistent that $\mathsf{MA}({\rm rec})$ holds, and both $\mathcal{K}_3’$ and $\mathsf{MA}_{\aleph_1}(\sigma\text{-linked})$ fail.

- No Suslin trees but a non-special Aronszajn tree exists by a side condition method : compact version, Iterated forcings and cardinal invariants (RIMS 2017),
*Sūrikaisekikenkyūsho Kōkyūroku*, No. 2081 (2018), 28-40. (Joint work with Tadatoshi Miyamoto)

Shelah proved that it is consistent that Suslin Hypothesis holds and there exists a non-special Aronszajn tree. We show this by use of a modification of Aspero-Mota iteration.

- The existence of a non special Aronszajn tree and Todorcevic orderings, Infinitary combinatorics in set theory and its applications (RIMS 2014),
*Sūrikaisekikenkyūsho Kōkyūroku*, No 1949 (2014), 89-98.

It is proved that it is consistent that every forcing notions with $\mathsf R_{1,\aleph_1}$ has precaliber $\aleph_1$, every Todorčević ordering for any second countable Hausdorff space also has precaliber $\aleph_1$, and there exists a non-special Aronszajn tree. This slightly extends the previous work due to the author [APAL 2010].

- Some results in the extension with a coherent Suslin tree II, Forcing extensions and large cardinals (RIMS 2012),
*Sūrikaisekikenkyūsho Kōkyūroku*, No 1851 (2013), 49-61. (Joint work with Tadatoshi Miyamoto)

It is proved the following: (1) $\mathsf{PFA}(S)$ implies $\mathsf{MRP}$. (2) For any coherent Suslin tree $S$ and an $S$-name $\dot{C}$ for a ladder system on $\omega_1$, there exists an almost strongly proper forcing notion (which will be defined in this article) which generically adds an $S$-name for a club on $\omega_1$ which violates the statement that $\dot{C}$ is a weak club guessing ladder systems.

- Some results in the extension with a coherent Suslin tree, Aspects of Descriptive Set Theory (RIMS 2011),
*Sūrikaisekikenkyūsho Kōkyūroku*, No 1790 (2012), 72-82. (Joint work with Dilip Raghavan)

We show that under $\mathsf{PFA}(S)$, the coherent Suslin tree $S$ (which is a witness of the axiom $\mathsf{PFA}(S)$) forces that there are no $\omega_2$-Aronszajn trees. We also determine the values of cardinal invariants of the continuum in this extension.

- Another c.c.c. forcing that destroys presaturation, Combinatorial set theory and forcing theory (RIMS2009),
*Sūrikaisekikenkyūsho Kōkyūroku*, No. 1686 (2010), 73-74. (joint work with Paul B. Larson)

We show that if $\mathsf{ZF}$ is consistent with the Axiom of Determinacy, then it is consistent that $NS_{\omega_{1}}$ is saturated and there exists a Suslin tree $S$ such that the forcing to specialize $S$ with finite conditions destroys the presaturation of $NS_{\omega_{1}}$. Our proof is a different approach by Velickovic [Forcing axioms and stationary sets, Theorem 4.6].

- The inequality $\mathfrak{b} > \aleph_1$ can be considered as an analogue of Suslin’s Hypothesis, Axiomatic Set Theory and Set-theoretic Topology (RIMS 2007),
*Sūrikaisekikenkyūsho Kōkyūroku*, No. 1595 (2008), 84-88.

The author introduced a new chain condition, called the anti-rectangle refining property. A typical example of a forcing notion with the anti-rectangle refining property is an Aronszajn tree. So it can be considered a generalization of Suslin’s Hypothesis that every forcing notion with the anti-rectangle refining property has

an uncountable antichain. It is proved that this statement implies that the bounding number is larger than $\aleph_1$.

- A fragment of Asperó-Mota’s Finitely Proper Forcing Axiom and entangled sets of reals (Joint work with Tadatoshi Miyamoto)
- Some infinitely generated non projective modules over path algebras and their extensions under Martin's Axiom (joint work with Ayako Itaba and Diego A. Mejía)
- The existence of a non-special Aronszajn tree and some consequences of the Proper Forcing Axiom
- Trees and gaps in strongly proper forcing extensions
- $\mathbb{P}_{\rm max}$ variations for destructible gaps (joint work with Paul B. Larson)
- On the projections in the Calkin algebra