Yoshihiro Horihata

According to our database, Yoshihiro Horihata authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Nonstandard second-order arithmetic and Riemann's mapping theorem.

Yoshihiro Horihata, Keita Yokoyama

Ann. Pure Appl. Log., 2014

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

2012

Weak Theories of Concatenation and Arithmetic.

Yoshihiro Horihata

Notre Dame J. Formal Log., 2012