Finite Model Theory Homepage
People, problems, bibliographies, events.
Introduction to Model Theory
Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
Model Theory of Fields: Suggested Reading
Short list of online resources compiled by David Marker.
Model Theory. Skolem's Paradox. Ramsey's Theorem.
Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
Last update:January 2, 2007 at 17:54:50 UTC