Bahareh Afshari : Publications

Post's programme for the Ershov hierarchy

Bahareh Afshari‚ George Barmpalias‚ S. Barry Cooper and Frank Stephan

In Journal of Logic and Computation. Vol. 17. No. 6. Pages 1025–1040. 2007.

Details | BibTeX | Download  (pdf) | DOI (10.1093/logcom/exm032)

Reverse mathematics and well−ordering principles: A pilot study

Bahareh Afshari and Michael Rathjen

In Annals of Pure and Applied Logic. Vol. 160. No. 3. Pages 231–237. 2009.

Details | BibTeX | Download  (pdf) | DOI (10.1016/j.apal.2009.01.001)

A note on the theory of positive induction‚ ID*1

Bahareh Afshari and Michael Rathjen

In Archive for Mathematical Logic. Vol. 49. No. 2. Pages 275–281. 2010.

Details | BibTeX | Download  (pdf) | DOI (10.1007/s00153-009-0168-9)

On closure ordinals for the modal mu−calculus

Bahareh Afshari and Graham E. Leigh

In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013). Vol. 23 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 30–44. Dagstuhl‚ Germany. 2013. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.

Details | BibTeX | Download  (pdf) | DOI (10.4230/LIPIcs.CSL.2013.30)

Immunity Properties and the n−C.E. Hierarchy

Bahareh Afshari‚ George Barmpalias and S. Barry Cooper

In Jin−yi Cai‚ S. Barry Cooper and Angsheng Li, editors, TAMC. Vol. 3959 of Lecture Notes in Computer Science. Pages 694−703. Springer. 2006.

Details | BibTeX | Download  (pdf) | DOI (10.1007/11750321_65)

Ordinal analysis and the infinite Ramsey theorem

Bahareh Afshari and Michael Rathjen

In A. Dawar S.B. Cooper and B. Löwe, editors, CiE. Vol. 7318 of Lecture Notes in Computer Science. Pages 1–10. Springer. 2012.

Details | BibTeX | Download  (pdf) | DOI (10.1007/978-3-642-30870-3_1)

Relative computability and the proof−theoretic strength of some theories

Bahareh Afshari

PhD Thesis School of Mathematics‚ University of Leeds. 2008.

Details | BibTeX