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

Treasurer of the European Mathematical Society (EMS) Forthcoming event: Fourth European Set Theory Conference. Other: Dagstuhl, Amsterdam. Tutorials May 2013

Logic One - A free virtual logic course.

• A free online logic course. Anyone can login as a guest. After guest login, choose "Logic One" on the right of the screen.

Research Interests

• Set theory, model theory, dependence logic
• 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.
• Recent books
  • Dependence Logic, Cambridge University Press, 2007. Review in MathSciNet.
  • Models and Games, Cambridge University Press, 2011. See here for an exceprt. Corrigenda. Review in MathSciNet, Zentralblatt, BSL.
• Some recent preprints and articles are available via FTP.
• A free online logic course. Anyone can login as a guest.

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

Other links

• Gradu-aiheita.
• Current teaching
• Logic Colloquium 2003 - Conference picture
• Fifty Years of Generalized Quantifiers 2007
• THE SECOND EUROPEAN SET THEORY MEETING: IN HONOR OF RONALD JENSEN 2009 - Conference picture
• Set Theory, Model Theory, Generalized Quantifiers and Foundations of Mathematics - Conference picture
• Sino-European Winter School in Logic, Language and Computation (SELLC-2010)
• ESSLLI Workshop on dependence and independence in logic 2010
• THE THIRD EUROPEAN SET THEORY MEETING: Edinburgh 2011 - Conference picture
• Group picture.

Address