We finally started to make some headway on the long union situation. It seems like L(R) can in fact understand enough about these unions, it just has to work extra hard for it. The main block currently is that we need to adapt an argument of Shelah and Harrington to generalize the Harrington-Kechris-Louveau result. Their argument is only a page long, but it is thoroughly unreadable. Fortunately, Jackson knows a way of putting the argument together.
In other news, I got first place at BEST. I think the whole judging thing is kind of goofy, but the money is cool and its nice to feel appreciated.
No comments:
Post a Comment