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. Skolem's Paradox. Ramsey's Theorem.
Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
Model Theory of Fields: Suggested Reading
Short list of online resources compiled by David Marker.
|