Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S - researchr publication

researchr

You are not signed in
Sign in
Sign up

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):835-853, 2014. [doi]

Abstract is missing.

runs on WebDSL