I will occasionally post my work here for those interested.
Below is a list of the talks that I've given. Sometimes with a description and sometimes with notes.
In the spring of 2009, I gave some talks in the CMU Logic Seminar on a Result of Mitchell. Here are the notes from that series of talks. Mitchell's result states that if there is a weakly compact cardinal, then there is a generic extension in which omega2 has the tree property. In this talk, I develop Mitchell's argument for a measurable cardinal. The first talk gives background about the tree property and Aronszajn trees. The second talk is aimed at developing the general forcing theory required for an understanding of the techniques in Mitchell's argument. The third talk motivates and defines Mitchell's poset and gives a sketch proof of some of the properties of Mitchell's extension. The Fourth and final talk sketches the proof that the omega2 of the extension has the tree property. Talk 1, Talk 2, Talk 3, Talk 4.
In the fall of 2009, I gave some talks in PCF theory in the CMU logic seminar. The first talk is on exact upperbounds modulo an ultrafilter and the second is on exact upperbounds modulo an ideal. The last talk is an introduction to PCF theory. The notes come from a semester long course taught by James Cummings. I learned everything that I know about PCF from him. Here are the notes: Talk 1, Talk 2, Talk 3.
In October 2009, I gave a graduate student seminar in which I gave a introdution to forcing aimed at the non-set theorist. As usual there is more here than I managed to say. Notes.
In late October and Early November 2010, I gave a series of talks in the CMU logic seminar outlining some of my work on the tree property. The contents will appear in papers at some point.
On November 4 2011, I gave the CUNY Set Theory Seminar on the topic of branch lemmas and their application.
In December 2011, I gave a graduate student seminar on large cardinals. This talk was written in haste and probably has many typos and perhaps a few white lies. Notes
On February 13 and 15 2012, I gave the University of California at Irvine Logic Seminar on the ineffable tree property.I was the scribe for two Appalachian Set Theory Workshops.
Itay Neeman's Workshop on Aronszajn Trees and the SCH. Notes
Moti Gitik's Workshop on Short Extender Forcing. Notes
Summer 2009 Differential and Integral Calculus
Summer 2010 Differential and Integral Calculus
Summer 2011 Differential and Integral Calculus