The Last Homely Page

Address.

Priv.-Doz. Dr. Achim Blumensath      
TU Darmstadt   Room:  204
Fachbereich Mathematik, AG Logik   Phone:  +49-6151-16-2215
Schloßgartenstraße 7   E-mail:  blumensath@mathematik.tu-darmstadt.de
64289 Darmstadt      
Germany      

Research Interests. Algorithmic Model Theory, Model Theory for Monadic Second-Order Logic, Graph Theory, Automata Theory.

Non-Research Interests. Classical Model Theory, Stability Theory, (Algebraic and Combinatorial) Geometry.

Curriculum Vitae, Research Résumé

Publications, Talks

Software and TeX

Book in preparation.
A. Set Theory A5, A4 format
B. Universal Algebra A5, A4 format
C. First-Order Logic A5, A4 format
D. Axiomatisation and Definability A5, A4 format
E. Classical Model Theory A5, A4 format