Photo of Jouko Väänänen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 111 Mathematics

International and National Collaboration Publications and projects within past five years.

Publications

Dependence logic: a new approach to independence friendly logic

Väänänen, J., 2007, Cambridge: Cambridge University Press. 225 p. (London Mathematical Society student texts; no. 70)

Research output: Book/ReportBookScientificpeer-review

From IF to BI: a tale of dependence and separation

Abramsky, S. & Väänänen, J., 2009, In : Synthese. 167, p. 207-230 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Models and Games

Väänänen, J., May 2011, Cambridge: Cambridge University Press. 374 p. (Cambridge Studies in Advanced Mathematics; no. 132)

Research output: Book/ReportBookScientificpeer-review

An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory

Väänänen, J., 20 Apr 2020, In : Theoria . 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Diversity, Dependence and Independence

Galliani, P. & Väänänen, J., 2020, Foundations of Information and Knowledge Systems. Herzig, A. & Kontinen, J. (eds.). University of Helsinki, Vol. 12012. p. 106-121 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Projects

CIMO Fellowship Gianluca Paolini TM-13-8847

Väänänen, J.

Unknown funder

01/10/201331/12/2014

Project: Research project

Matemaattinen logiikka ja sen sovellutukset

Väänänen, J.

Unknown funder

01/09/201131/08/2015

Project: Research project

ESF LogiCCC

Väänänen, J.

01/10/201030/07/2011

Project: Research project

Activities

European Set Theory Society (External organisation)

Jouko Väänänen (Board member)

2014

Activity: Membership typesMembership or other role in national/international committee, council, board

Hebrew University of Jerusalem

Jouko Väänänen (Visiting researcher)

25 Nov 201910 Jan 2020

Activity: Visiting an external institution typesAcademic visit to other institution

Rutgers State Univ, Rutgers State University

Jouko Väänänen (Visiting researcher)

1 Sep 201921 Nov 2019

Activity: Visiting an external institution typesAcademic visit to other institution

Internal categoricity

Jouko Väänänen (Speaker)

10 Jan 2018

Activity: Talk or presentation typesInvited talk

Cantorin paratiisi ja matematiikan totuudet

Jouko Väänänen (Speaker)

19 Jan 2018

Activity: Talk or presentation typesInvited talk

Press / Media

Mielipidekirjoitus: Tiederatikan valmistelu pitäisi aloittaa heti.

Jouko Väänänen

05/12/2017

1 Media contribution

Press/Media: Press / Media

Mielipidekirjoitus: Kansainvälisyys vahvistaa yliopistoa

Jouko Väänänen

19/03/2017

1 Media contribution

Press/Media: Press / Media

Muistokirjoitus: Matemaatikko oli verkko-opetuksen edelläkävijä

Jouko Väänänen

04/03/2015

1 Media contribution

Press/Media: Press / Media

Radio of Finland (Yleisradio): Kultakuume-ohjelma

Jouko Väänänen

24/08/2009

1 Media contribution

Press/Media: Press / Media