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
Team Semantics and Independence Notions in Quantum Physics
Abramsky, S., Puljujärvi, J. & Väänänen, J., mars 2026, I: Bulletin of Symbolic Logic. 32, 1, s. 82-135 54 s.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
Bounded symbiosis and upwards reflection
Galeotti, L., Khomskii, Y. & Väänänen, J., maj 2025, I: Archive for Mathematical Logic. 64, 3-4, s. 579-603 25 s.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil

Teams and inner models
Väänänen, J. (Projektledare), Anttila, A. I. (deltagare), Moreno Wandurraga, M. F. (deltagare), Saarinen, M. T. (deltagare), Sandström, M. (deltagare) & Ya'ar, U. (deltagare)
Suomen Akatemia Projektilaskutus
01/09/2025 → 31/08/2029
Projekt: Finlands Akademi: Akademiprojektsbidrag
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

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