Science: Math: Logic_and_Foundations: Model_Theory
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'.
The content of this directory is based on the Open Directory and may have been modified by DWodp
Powered by DWodp live version 1.1.4 Copyright © 2003 Dominion Web