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

Honorary Doctorate from the National University of Colombia. Periodico UNAL Arctic Set Theory 8 The 10th European Set Theory Conference Workshop on Team Semantics Helsinki Logic Group Magnus Ehrnrooth Foundation prize 2024.

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.
  • Matematiikka - epätäydellisyyden valtakunta, Societas Scientiarum Fennica, Commentationes Physico Mathematicae, 167, 2026, 194 pages.

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.
• Lindström Lecture, Gothenburg, 2025,

Other links

orcid.org/0000-0003-4356-7974

Honorary Doctorate from the National University of Colombia.

Address

e-mail:

Department of Mathematics and Statistics
Pietari Kalmin katu 5
PL 68
FIN-00014 University of Helsinki, Finland
www.mv.helsinki.fi/home/jvaanane//

---