Disclaimer: I don't have a ton of interest in computability. This probably makes me a bad logician. It definitely makes me a bad computer scientist. I'm okay with that.
As a result I only solve the model theory questions of the quals, which are always questions 1, 2, and 3. As I type these solutions, they will go on this website. Lots of them aren't typed yet; I sort of do this when I'm bored, and that's the update schedule.
Note that I use lots and lots of whitespace on these solutions (keep every problem in a separate file, keep separate parts on separate pages) - I think it makes them more useful as solutions, as you can avoid reading things you don't want to read yet, but don't print them. Combine the tex files, take out the \newpage tags, etc.
|
|