Directory of Model Theory Resources

Home > Science > Math > Logic and Foundations > Model Theory

Resources in This Category

• Finite Model Theory Homepage

  http://www-mgi.informatik.rwth-aachen.de/FMT/
  People, problems, bibliographies, events.

• Introduction to Model Theory

  http://www.cs.nott.ac.uk/~nza/MGS/MGS00/
  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

  http://www.math.uic.edu/~marker/mtf-reading.html
  Short list of online resources compiled by David Marker.

• Model Theory. Skolem's Paradox. Ramsey's Theorem.

  http://www.ltn.lv/~podnieks/gta.html
  Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.

 

Home > Science > Math > Logic and Foundations > Model Theory

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us