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

Job announcement: PROFESSOR OR ASSISTANT/ASSOCIATE PROFESSOR IN QUANTUM INFORMATION, COMPUTING AND LOGIC Helsinki Logic Group Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics,

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.

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.

Other links

orcid.org/0000-0003-4356-7974

Address

Department of Mathematics and Statistics
Pietari Kalmin katu 5
PL 68
FIN-00014 University of Helsinki, Finland
http://mathstat.helsinki.fi/logic/people/jouko.vaananen/
e-mail:

---