Sherwood J. Hachtman
Research Assistant Professor Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago email: hachtma1 at uic dot edu office: SEO 616 Teaching in Spring 2017:
Math 310: Applied Linear Algebra Office hours:
Wednesday 1-2pm and Friday 2-3pm, or by appointment |

- Fall 2016 - Math 512: Advanced topics in logic: Set theory of the reals

- Fall 2016 - Participating seminar on pcf & cardinal arithmetic

- Spring 2016 - Math 430: Formal logic

- Fall 2015 - Math 180: Calculus I

- Determinacy separations for class games, arXiv.

- The strength of determinacy in the Borel-on-coanalytic hierarchy, in preparation.

- Sigma^0_3 Determinacy and Pi^1_2 monotone induction, arXiv.

- Determinacy in third order arithmetic, submitted.

- Calibrating determinacy strength in levels of the Borel hierarchy, submitted.

- Determinacy, part of the 2015 UCLA Logic Center summer school.

- Forcing and Independence in Set Theory, part of the 2014 UCLA Logic Center summer school.

"Perhaps not all of these people believe in that stuff about the Devil to whom one can sell one's soul; but all those who have to know something about the soul, because they draw a good income out of it as clergy, historians or artists, bear witness to the fact that it has been ruined by mathematics and that in mathematics is the source of a wicked intellect that, while making man the lord of the earth, also makes him the slave of the machine."