
Dr. Arana specializes in the history and philosophy of mathematics, and logic.
Ph.D. University of Notre Dame, 2004 (philosophy and mathematics joint program)
M.S. University of Notre Dame, 1999 (mathematics)
B.A. Trinity University, 1996 (mathematics)
B.S. Trinity University, 1996 (computer science)
Critical note on Solomon Feferman's In The Light of Logic. Mathematical Intelligencer, 27:4 (2005) 38-40.
Possible m-diagrams of models of arithmetic. In Reverse Mathematics 2001, edited by Stephen Simpson, Lecture Notes in Logic 21, A.K. Peters Publishers / Association for Symbolic Logic (2005) 27-41.
Arithmetical independence results using higher recursion theory. The Journal of Symbolic Logic 69:1 (2004) 1-9.
Fall 2007:
Office 308A Dickens Hall
Email aarana@ksu.edu
Phone 785-532-0420
Fax 785-532-3522