| submit a site to this category |
|   |
|
|
Introduction to Model TheoryURL: http://www.cs.nott.ac.uk/~nza/MGS/MGS00/ ODP description: Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation. Page title: Descriptive Complexity ![]() |
|
|
Finite Model Theory HomepageURL: http://www-mgi.informatik.rwth-aachen.de/FMT/ ODP description: People, problems, bibliographies, events. ![]() |
|
|
Model Theory. Skolem's Paradox. Ramsey's Theorem.URL: http://www.ltn.lv/~podnieks/gta.html ODP description: Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'. Page title: Model Theory. Goedel's Completeness Theorem. Skolem's Paradox. Ramsey's Theorem. By K.Podnieks Page description: What is Mathematics? Goedel's Theorem and Around. Textbook for students. Appendix 1, 2. By K.Podnieks ![]() |
|
|
Model Theory of Fields: Suggested ReadingURL: http://www.math.uic.edu/~marker/mtf-reading.html ODP description: Short list of online resources compiled by David Marker. ![]() |
|
| |