I plan to collect longer notes here on logic, model theory, and related topics.

For now, the blog contains shorter posts and textbook solutions.