Sunday, April 20, 2008

Saturated Model Theory

Clearly it is more difficult to omit than it is to realize, since the act of omitting requires that every element of the extension be worried over. (A not well-known model theorist once remarked: "Any fool can realize a type, but it takes a model theorist to omit one.")
- Gerald E. Sacks, Saturated Model Theory


This post's theme animal: cassowary.

Thursday, April 17, 2008

Romantic orbit

This post's theme romantically-attractive feature: nerd jokes.