Email: bafshari@inf.ed.ac.uk
Phone: +44 131 6513835
 

Informatics forum (room 5.37)

10 Crichton St

Edinburgh

EH8 9AB

United Kingdom

Research interests: mathematical logic; modal mu-calculi, proof theory and computability theory.

• A note on the theory of positive induction, ID*₁ (joint with M. Rathjen), Archive for Mathematical Logic 49 (2), 275-281, 2009. [pdf]
• Reverse mathematics and well-ordering principles: A pilot study (joint with M. Rathjen), Annals of Pure and Applied Logic 160, 231-237, 2009. [pdf]

• Relative computability and the proof-theoretic strength of some theories, PhD thesis, University of Leeds, 2008. [pdf]
  

• Post's programme for the Ershov hierarchy (joint with S. B. Cooper, G. Barmpalias, F. Stephan), Journal of Logic and Computation 17, 1025-1040, 2007. [pdf]

• Immunity properties and the n-c.e. hierarchy (joint with S. B. Cooper, G. Barmpalias), Lecture Notes in Computer Science 3959, 694-703, Springer-Verlag Berlin Heidelberg, 2006. [pdf]