Home Finite Model Theory Homepage People People working in Finite Model Theory Join the FMT mailing list; subscribe at the FMT mailman page Open Problems List of open problems New problems (at most half a page) and announcements of solutions (at most one page) should be sent to Erich Gradel or Colin Hirsch, preferably in LaTeX Bibliography The BibTeX database on FMT is no longer maintained. It ...

Descriptive Complexity Natasha Alechina School of Computer Science and IT University of Nottingham Descriptive complexity studies the relation between formal languages and computational resources (space and time) required to solve problems formulated in those languages. It turns out that many complexity classes, such as P and NP, have an independent logical characterisation (first order logic ...

Around Goedel's theorem. Textbook for students. Appendix 1, 2. By K.Podnieks ...