
This is a term paper for Thomas Scanlon's Math 229, Model Theory, at UC Berkeley, Fall 2006. The goal of this survey is to understand Bjorn Poonen's theorem about elliptic curves and Hilbert's Tenth problem over rings of integers of number fields and to record and exposit a few ideas which may be useful in an attack with Poonen's theorem as a starting point.