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

Personlig profil

Keywords

  • 111 Matematik

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

Publikationer 1973 2019

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

23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016

Väänänen, J. & de Queiroz, R. J. G. B., sep 2019, I : Annals of Pure and Applied Logic. 170, 9, s. 921-922 2 s.

Forskningsoutput: TidskriftsbidragLedareVetenskaplig

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., sep 2019, I : Annals of Pure and Applied Logic. 170, 9, s. 975-992 18 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Projekter 2010 2015

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 2000 2018

European Set Theory Society (Extern organisation)

Jouko Väänänen (Styrelsemedlem)
2014

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

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

Quantum team logic

Jouko Väänänen (!!Speaker)
17 feb 2017

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

Inner models from extended logics

Jouko Väänänen (!!Speaker)
24 feb 2017

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

Press / media

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