I can’t get enough of Terry Tao’s blog What’s New, he writes so much and so brilliantly. Anyway, I found two really nice old-ish posts about model theory:
- this which talks about completeness, compactness, zeroth-order logic, and Skolemisation;
- and this which talks about nonstandard analysis, notions of `elementary convergence’ and `elementary completion’, countable saturation, compactness and saturation re-written from an analytical point-of-view, and the Szemerédi regularity lemma (something I always want to know more about).
I don’t have time to write anything more now, but later I will get back to it.