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 maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
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., toukok. 2011, Cambridge: Cambridge University Press. 374 Sivumäärä (Cambridge Studies in Advanced Mathematics; nro 132)Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
-
Positive logics
Shelah, S. & Väänänen, J., 2023, julkaisussa: Archive for Mathematical Logic. 62, s. 207–223 17 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
The strategic balance of games in logic
Väänänen, J., 2023, Outstanding Contributions to Logic: Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer , Vuosikerta 25.Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
Open access
-
-
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
-
Seminar on internal categoricity with Jouko Väänänen
Jouko Väänänen (Puhuja: pääpuhuja (keynote)), Mirja Hartimo (Järjestäjätoimikunnan jäsen) & Lassi Saario (Järjestäjätoimikunnan jäsen)
16 jouluk. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Rutgers State Univ, Rutgers State University
Jouko Väänänen (Vieraileva tutkija)
1 syysk. 2019 → 21 marrask. 2019Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Hebrew University of Jerusalem
Jouko Väänänen (Vieraileva tutkija)
25 marrask. 2019 → 10 tammik. 2020Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Cantorin paratiisi ja matematiikan totuudet
Jouko Väänänen (Puhuja)
19 tammik. 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
-