Login / Signup
Yoshihiro Horihata
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Higher Order
Domain Theory
Data Sets
Theoretical Models
Top Venues
Arch. Math. Log.
Ann. Pure Appl. Log.
Notre Dame J. Formal Log.
</>
Publications
</>
Yoshihiro Horihata
,
Keita Yokoyama
Nonstandard second-order arithmetic and Riemann's mapping theorem.
Ann. Pure Appl. Log.
165 (2) (2014)
Kojiro Higuchi
,
Yoshihiro Horihata
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S.
Arch. Math. Log.
53 (7-8) (2014)
Yoshihiro Horihata
Weak Theories of Concatenation and Arithmetic.
Notre Dame J. Formal Log.
53 (2) (2012)