Hannu Niemistö, Ph.L.
Research interests
Finite model theory, in particular locality and order-invariant logics.
Publications
On locality and uniform reduction (LICS'05)
On locality and uniform reduction (Licentiate's thesis)
Preprints
Zero-one law and definability of linear order
Extensions of MSO and the monadic counting hierarchy
(with Juha Kontinen)
Contact info
Address:
Department of Mathematics and Statistics (Room D343)
P.O.Box 68 (Gustaf Hällströminkatu 2b),
FIN-00014 Helsinki.
Tel:
+358-9-191 51469
050-3794345 (mobile)
Email: