Jouko Väänänen

Dependence logic: a new approach to independence friendly logic
Väänänen, J., 2007, Cambridge: Cambridge University Press. 225 Sivumäärä (London Mathematical Society student texts; nro 70)
Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
From IF to BI: a tale of dependence and separation
Abramsky, S. & Väänänen, J., 2009, julkaisussa: Synthese. 167, s. 207-230 24 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Models and Games
Väänänen, J., toukok. 2011, Cambridge: Cambridge University Press. 374 Sivumäärä (Cambridge Studies in Advanced Mathematics; nro 132)
Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
Inner Models from Extended Logics: Part 2
Kennedy, J., Magidor, M. & Väänänen, J., 14 tammik. 2025, (Hyväksytty/In press) julkaisussa: Journal of Mathematical Logic. https://arxiv.org/pdf/2007.10766.pdf.
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen
Bounded symbiosis and upwards reflection
Galeotti, L., Khomskii, Y. & Väänänen, J., 23 jouluk. 2024, julkaisussa: Archive for Mathematical Logic. 25 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto

TEAMDEP: Team Semantics and Dependence logic
Väänänen, J. (Projektinjohtaja)
01/06/2021 → 31/05/2026
Projekti: Tutkimusprojekti
Plurality vs. uniqueness: dependence logic and set-theoretic aspects
Väänänen, J. (Projektinjohtaja)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
CIMO Fellowship Gianluca Paolini TM-13-8847
Väänänen, J. (Projektinjohtaja)
Unknown funder
01/10/2013 → 31/12/2014
Projekti: Tutkimusprojekti
Matemaattinen logiikka ja sen sovellutukset
Väänänen, J. (Projektinjohtaja)
Unknown funder
01/09/2011 → 31/08/2015
Projekti: Tutkimusprojekti
ESF LogiCCC
Väänänen, J. (Projektinjohtaja)
01/10/2010 → 30/07/2011
Projekti: Tutkimusprojekti

Magnus Ehrnrooth Foundation prize 2024
Väänänen, J. (Vastaanottaja), 29 huhtik. 2024
Palkinto: Palkinnot ja kunnianosoitukset
Magnus Ehrnrooth Foundation prize 2024.
Väänänen, J. (Vastaanottaja), 29 huhtik. 2024
Palkinto: Palkinnot ja kunnianosoitukset

European Set Theory Society (Ulkoinen yksikkö)
Väänänen, J. (Hallituksen jäsen)
2014
Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
Seminar on internal categoricity with Jouko Väänänen
Väänänen, J. (Puhuja: pääpuhuja (keynote)), Hartimo, M. (Järjestäjätoimikunnan jäsen) & Saario, L. (Järjestäjätoimikunnan jäsen)
16 jouluk. 2022
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
Annals of Pure and Applied Logic (Lehti)
Väänänen, J. (Toimittaja (editor)), Yang, F. (Toimittaja (editor)) & Scott, P. (Toimittaja (editor))
2022
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Erikoisnumeron toimittaja
Rutgers State Univ, Rutgers State University
Väänänen, J. (Vieraileva tutkija)
1 syysk. 2019 → 21 marrask. 2019
Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
Hebrew University of Jerusalem
Väänänen, J. (Vieraileva tutkija)
25 marrask. 2019 → 10 tammik. 2020
Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon

Henkilökohtainen profiili