The Work Definability and Decision Problems in Arithmetic The details The Author Julia Robinson The offers