End extensions of models of arithmetic

Abstract

A concise proof is presented of Wilkie’s Theorem that for every model of Peano Arithmetic there is a diophantine equation having no solution in that model but having a solution in some end extension of that model. © University of Notre Dame. All rights reserved.