Address.

Dr. Achim Blumensath
Masaryk University		Room:	C413
Faculty of Informatics		Phone:	+420-549-49-3166
Botanická 68a		E-mail:	blumens@fi.muni.cz
602 00 Brno
Czech Republic

Research Interests.

• Algorithmic Model Theory
• Model Theory for Monadic Second-Order Logic
• Automata Theory and Algebraic Language Theory
• Graph Theory and Combinatorics

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

Curriculum Vitae, Research Résumé

Publications, Talks

Lecture Notes.

Monadic Second-Order Logic [A5, A4]

Book in preparation.

I'm writing a book on Model Theory. The current draft is available below. You can download either the whole book, or just one part. Each document is available in two versions: single-sided in A5 format and double-sided in A4 format.

Logic, Algebra and Geometry	[A5, A4]
A. Set Theory	[A5, A4]
B. General Algebra	[A5, A4]
C. First-Order Logic	[A5, A4]
D. Axiomatisation and Definability	[A5, A4]
E. Classical Model Theory	[A5, A4]
F. Geometric Model Theory	[A5, A4]
G. Stable Model Theory	[A5, A4]