Model Theory (Logic and Foundations)

Model Theory Sites:

Model Theory. Skolem's Paradox. Ramsey's Theorem. 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) http://www.ltn.lv/~podnieks/gta.html Finite Model Theory Homepage Finite Model Theory Homepage: People, problems, bibliographies, events. (Model Theory) http://www-mgi.informatik.rwth-aachen.de/FMT/ Model Theory of Fields: Suggested Reading Model Theory of Fields: Suggested Reading: Short list of online resources compiled by David Marker. (Model Theory) http://www.math.uic.edu/~marker/mtf-reading.html Introduction to Model Theory 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) http://www.cs.nott.ac.uk/~nza/MGS/MGS00/