Text this: THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM.