Foto av Jouko Väänänen

Jouko Väänänen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

1973 …2020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 111 Matematik

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

Dependence logic: a new approach to independence friendly logic

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

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

From IF to BI: a tale of dependence and separation

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Models and Games

Väänänen, J., maj 2011, Cambridge: Cambridge University Press. 374 s. (Cambridge Studies in Advanced Mathematics; nr. 132)

Forskningsoutput: Bok/rapportBokVetenskapligPeer review

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

Väänänen, J., 20 apr 2020, I : Theoria . 12 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Diversity, Dependence and Independence

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Projekter

CIMO Fellowship Gianluca Paolini TM-13-8847

Väänänen, J.

Unknown funder

01/10/201331/12/2014

Projekt: Forskningsprojekt

Matemaattinen logiikka ja sen sovellutukset

Väänänen, J.

Unknown funder

01/09/201131/08/2015

Projekt: Forskningsprojekt

ESF LogiCCC

Väänänen, J.

01/10/201030/07/2011

Projekt: Forskningsprojekt

Aktiviteter

European Set Theory Society (Extern organisation)

Jouko Väänänen (Styrelsemedlem)
2014

Aktivitet: MedlemskapstyperMedlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse

Hebrew University of Jerusalem

Jouko Väänänen (Besökande forskare)
25 nov 201910 jan 2020

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

Rutgers State Univ, Rutgers State University

Jouko Väänänen (Besökande forskare)
1 sep 201921 nov 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

Internal categoricity

Jouko Väänänen (!!Speaker)
10 jan 2018

Aktivitet: Typer för tal eller presentation!!Invited talk

Cantorin paratiisi ja matematiikan totuudet

Jouko Väänänen (!!Speaker)
19 jan 2018

Aktivitet: Typer för tal eller presentation!!Invited talk

Tidningsurklipp

Mielipidekirjoitus: Kansainvälisyys vahvistaa yliopistoa

Jouko Väänänen

19/03/2017

1 Mediabidrag

Press/media: !!Press / Media

Radio of Finland (Yleisradio): Kultakuume-ohjelma

Jouko Väänänen

24/08/2009

1 Mediabidrag

Press/media: !!Press / Media