Structural Consequences of AD by Stephen Jackson
HOD as a Core Model by John Steel and Hugh Woodin
Other Reading:
The Core Model Iterability Program by John Steel
Non-Standard Analysis for the Working Mathematician
AD and Jonsonn Cardinals in L(R)
I finally got my website up and live, http://math.unt.edu/~jkh0150/. I'm proud that I made it all my self in html, although its really not that hard of a thing to do. I finished a few things up since last time: The counting equivalence classes paper should be ready for a GLG talk anytime now, and I presented on Lindstrom's characterization of first order logic. Core Model progess is still slow, but its starting to really come together. I need to read some more out of the Cabal, but I'm not sure exactly what I should be reading. It probably wouldn't hurt to look at scales in L(R) again. Non-standard analysis continues to be interesting, the measure theory results in particular. I don't have much else to say, other than teaching twice in the morning seems to wipe me out for a good couple hours afterwards. I'm not sure what to do about that, if anything.
