Yoshihiro Horihata - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 3 from 3

2014

Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 SKojiro Higuchi, Yoshihiro Horihata. AML, 53(7-8):835-853, 2014. [doi]

Nonstandard second-order arithmetic and Riemann's mapping theoremYoshihiro Horihata, Keita Yokoyama. APAL, 165(2):520-551, 2014. [doi]

2012

Weak Theories of Concatenation and ArithmeticYoshihiro Horihata. ndjfl, 53(2):203-222, 2012. [doi]

Sign in or sign up to see more results.

runs on WebDSL