Thomas Scanlon

Abstract To a logician diophantine geometry, the study of geometric relations on points of arithmetic origin, is almost a contradiction in terms since geometrical reasoning has long been known to be tame and decidable (from the 1929 work of Tarski on...