The Work of Kim and Roush on Questions of Decidability in Algebra and Number Theory

Abstract

This article describes the work of Ki Hang Kim and Fred Roush on questions of decidability in algebra and number theory.

The Work of Kim and Roush in Symbolic Dynamics

“…Kim and Roush also proved significant decidability results outside of symbolic dynamics, which are reviewed in the article of Kirsten Eisenträger [48].…”