Thomas Powell: On bar recursive interpretations of analysis. Queen Mary University of London, UK 2013