ODP - Open Directory Project
"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."
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'..
|
 |
 |
