Top : Science : Math : Logic and Foundations :
Model Theory
Websites
Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
site exerpt
Descriptive Complexity 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...Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
site exerpt
Model Theory. Goedel's Completeness Theorem. Skolem's Paradox. Ramsey's Theorem. By K.Podnieks Adjust your browser window Right Appendix 1. About Model Theory Some widespread Platonist superstitions were derived from other important results of mathematical logic (omitted in the main text of this book Goedel's completeness theorem for predicate calculus, Loewenheim-Skolem theorem, the...Short list of online resources compiled by David Marker.
site exerpt
Model Theory of Fields: Suggested Reading A collection of articles leading up to Hrushovski's proof of the Mordell-Lang conjecture for function fields. It contains introductory articles on model theory, omega-stability, omega-stable groups and the model theory of algebraically closed fields. A. Pillay, Model theory and diophantine...People, problems, bibliographies, events.
site exerpt
Finite Model Theory Homepage We maintain a collection of Open Problems in Finite Model Theory Last updated August 21, 2003) New problems (at most half a page) and announcements of solutions (at most one page) should be sent to ErichGrdel or DietmarBerwanger, preferably in...