Ville Nurmi, M.Sc.

Research Interests

Independence Friendly logic (IF-logic)

Dependence Logic (DL)

characterising logical consequence in some fragments of DL
exploring the relationship between DL and existential second-order logic (ESO)

Team Logic (TL)

exploring and proving basic results for TL, e.g., quantifier swapping
defining known logical tools for TL, e.g., Ehrenfeucht-Fraïssé games
extending cylindric algebras to cover Team Logic
exploring the relationship between TL and second-order logic (SO)

Publications

Appendix in Dependence Logic (by Jouko Väänänen), volume 70 of London Mathematical Society Student Texts. Cambridge University Press, 2007.

On consequence in a fragment of IF-logic, Proceedings of the Tenth ESSLLI Student Session, 2005, pages 222-232. [PDF]

Activities

Chair for the ESSLLI 2007 Student Session together with Dmitry Sustretov, see http://www.loria.fr/~sustreto/stus07/.

Co-chair for the ESSLLI 2006 Student Session, see http://www.science.uva.nl/~katrenko/stus06/.

Contact Info

Office:   Room B407

Address:  Department of Mathematics and Statistics
          P.O. Box 68 (Gustaf Hällströmin katu 2b)
          FI-00014 University of Helsinki
          Finland

Email:    ville . v . nurmi at helsinki . fi
Tel:      +358-9-191 51497
Fax:      +358-9-191 51400

See my personal homepage.

Page updated on 2006-09-28.