Home | Teaching | Research | Fun Math |
---|

*A Packed Ramsey's theorem and computability theory*

Accepted for publication in the Transactions of the AMS.

Also posted as arXiv:1302.2256 [math.lo]

*Reverse mathematics and a Ramsey-type Konig's Lemma*

Journal of Symbolic Logic, Volume 77, Number 4, Dec. 2012.

Also posted as arXiv:1111.2526 [math.lo]

*A Turan-type Problem for Circular-arc Graphs*

with Rosalie Rosalie Carlson, Kevin O'Neill, and Francis Edward Su.

Posted as arXiv:1110.4205 [math.co]

April 2014 - Marshall University Colloquium

March 2014 - Cornell University Logic Seminar

February 2014 - University of Conecticut Logic Semiar

January 2014 - AMS Joint Meeting

October 2013 - New England Recursion and Definability Seminar 4.0

April 2013 - University of Pennsylvania Logic Seminar