Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Ansioluettelo
Personal www-page http://www.math.helsinki.fi/logic/people/jouko.vaananen/
Tieteenalat
- 111 Matematiikka
- logic, foundations of mathematics
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Julkaisut
-
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., toukokuuta 2011, Cambridge: Cambridge University Press. 374 Sivumäärä (Cambridge Studies in Advanced Mathematics; nro 132)Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
-
An overview of Saharon Shelah's contributions to mathematical logic, in particular to model theory
Väänänen, J., 29 huhtikuuta 2021, julkaisussa : Theoria . 87, 2, s. 349–360Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Logicality and model classes
Väänänen, J. & Kennedy, J., 2021, (Jätetty) julkaisussa : Bulletin of Symbolic Logic.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Projektit
-
Plurality vs. uniqueness: dependence logic and set-theoretic aspects
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
-
-
-
Aktiviteetit
-
European Set Theory Society (Ulkoinen yksikkö)
Jouko Väänänen (Hallituksen jäsen)
2014Aktiviteetti: Jäsenyystyypit › Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
-
Rutgers State Univ, Rutgers State University
Jouko Väänänen (Vieraileva tutkija)
1 syyskuuta 2019 → 21 marraskuuta 2019Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Hebrew University of Jerusalem
Jouko Väänänen (Vieraileva tutkija)
25 marraskuuta 2019 → 10 tammikuuta 2020Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Internal categoricity
Jouko Väänänen (Puhuja)
10 tammikuuta 2018Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Cantorin paratiisi ja matematiikan totuudet
Jouko Väänänen (Puhuja)
19 tammikuuta 2018Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
Lehtileikkeet
-
Mielipidekirjoitus: Tiederatikan valmistelu pitäisi aloittaa heti.
05/12/2017
1 Median myötävaikutus
Lehdistö/media
-
Mielipidekirjoitus: Kansainvälisyys vahvistaa yliopistoa
19/03/2017
1 Median myötävaikutus
Lehdistö/media
-
Muistokirjoitus: Matemaatikko oli verkko-opetuksen edelläkävijä
04/03/2015
1 Median myötävaikutus
Lehdistö/media
-