Jouko Väänänen

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/rapport › Bok › Vetenskaplig › Peer 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: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer 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/rapport › Bok › Vetenskaplig › Peer review
Inner Models from Extended Logics: Part 2
Kennedy, J., Magidor, M. & Väänänen, J., 14 jan. 2025, (!!Accepted/In press) I: Journal of Mathematical Logic. https://arxiv.org/pdf/2007.10766.pdf.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig
Bounded symbiosis and upwards reflection
Galeotti, L., Khomskii, Y. & Väänänen, J., 23 dec. 2024, I: Archive for Mathematical Logic. 25 s.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil

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

Magnus Ehrnrooth Foundation prize 2024
Väänänen, J. (!!Recipient), 29 apr. 2024
Pris: Pris och hedersbetygelser
Magnus Ehrnrooth Foundation prize 2024.
Väänänen, J. (!!Recipient), 29 apr. 2024
Pris: Pris och hedersbetygelser

European Set Theory Society (Extern organisation)
Väänänen, J. (Styrelsemedlem)
2014
Aktivitet: Medlemskapstyper › Medlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse
Annals of Pure and Applied Logic (Tidskrift)
Väänänen, J. (Redaktör), Yang, F. (Redaktör) & Scott, P. (Redaktör)
2022
Aktivitet: Typer för peer review av output och redaktionsarbete › Redaktör för specialtemanummer
Seminar on internal categoricity with Jouko Väänänen
Väänänen, J. (Talare: Inledningsanförande (keynote)), Hartimo, M. (Medlem i organisationskommitté) & Saario, L. (Medlem i organisationskommitté)
16 dec. 2022
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
Rutgers State Univ, Rutgers State University
Väänänen, J. (Besökande forskare)
1 sep. 2019 → 21 nov. 2019
Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
Hebrew University of Jerusalem
Väänänen, J. (Besökande forskare)
25 nov. 2019 → 10 jan. 2020
Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution

Personlig profil