Talks on Elliptic Curves and Diophantine Stability by Barry Mazur (The Minerva Lectures; October 14, 15, 17, 2014, Princeton University): (I) (II) (III), and a paper by Barry Mazur and Karl Rubin to go with the talks:Diophantine stability

      Definability and Decidability Problems in Number Theory, Oberwolfach, Germany, October 2016

      Definability and Decidability Problems in Number Theory, American Institute of Math, Palo Alto, California, September 2013

      Definability in Number Theory, Ghent, Belgium, August 2010.

      Workshop on New Methods in Hilbertís 10th Problem, Hausdorff Research Institute for Mathematics, February 2009, Bonn, Germany

      HTP WEB PAGE OF YURI MATIYASEVICH

      UNDECIDABILITY IN NUMBER THEORY BY BJORN POONEN FROM NOTICES OF AMS

      FILM ABOUT JULIA ROBINSON

      INTERVIEW WITH GEORGE CSISCERY IN NOTICES OF AMS

      CAROL WOOD'S REVIEW OF THE JULIA ROBINSON MOVIE FROM NOTICES OF AMS

      INTERVIEW WITH MARTIN DAVIS FROM NOTICES OF AMS