From time to time, for fun and profit, I do work problems. To help organize my thoughts, and to polish my work a little bit, I write up nice solutions.
... then I post them here.
As this is a new project for me, this is extremely incomplete, even among the problems I've done (which is itself an incomplete list, obviously). This will eventually have partial solutions to the UMD Logic Quals and to the exercises in Marker's Model Theory: An Introduction.