Jouko Väänänen, Ph.D., Professor

Research Interests

• Set theory, model theory, dependence logic (in SEP)
• Foundations of mathematics, logic in computer science, semantics of natural language
• Games, generalized quantifiers, infinitary languages, abstract logic
• For more information, see the homepage of the Helsinki Logic Group.

Publications

• List of publications. Google Scholar
• Recent books
  • Dependence Logic, Cambridge University Press, 2007. Review in MathSciNet.
  • Models and Games, Cambridge University Press, 2011. See here for an excerpt. Corrigenda. Review in MathSciNet, Zentralblatt, BSL, Math. Intell., TPLP.
  • Dependence Logic: Theory and Applications, edited with S. Abramsky, J. Kontinen, and H. Vollmer. Springer 2016.
  • WOLLIC 2016 Proceedings, edited with Åsa Hirvonen and Ruy de Queiroz.
  • Philosophical Uses of Categoricity Arguments (with Penelope Maddy), Cambridge University Press, 2023.

Slides of recent talks

• Set theoretic methods in model theory, ASL/AMS Winter meeting 2009
• Dependence logic, Dagstuhl 2010
• Dependence and Independence, Delhi 2011
• Second order logic, Paris 2011
• Inner models from extended logics, Jerusalem 2016, video.
• Dependence logic, New Zealand 2016
• Zermelo: Between second and first order logic, St. Petersburg 2018, video.
• Three fundamental games in logic, Helsinki 2021. Slides, Video.
• An introduction to internal categoricity, Helsinki 2022.

Other links