Weak Theories of Concatenation and Arithmetic. - Yoshihiro Horihata (Notre Dame J. Formal Log., 2012)

Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${ mathsf{WTC}}$$ WTC and $${ mathsf{S2S}}$$ S 2 S. - Kojiro Higuchi; Yoshihiro Horihata (Arch. Math. Log., 2014)

Nonstandard second-order arithmetic and Riemann's mapping theorem. - Yoshihiro Horihata; Keita Yokoyama (Ann. Pure Appl. Log., 2014)