Jouko Väänänen - Jouko Väänänen
Tento životopis živé osoby potřebuje další citace pro ověření.Leden 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Jouko Antero Väänänen | |
---|---|
narozený | |
Alma mater | University of Manchester |
Vědecká kariéra | |
Teze | Aplikace teorie množin na zobecněné kvantifikátory (1977) |
Doktorský poradce | Peter Aczel |
Jouko Antero Väänänen (narozen 3. září 1950 v Rovaniemi, Laponsko )[1] je Fin matematický logik známý svými příspěvky do teorie množin,[2][3][4][5] teorie modelů,[6][7][8] logika[9][10][11] a základy matematiky.[5][12] V současné době je prorektorem na University of Helsinki,[13] a profesor matematiky na univerzitě v Helsinkách, stejně jako profesor matematické logiky a základů matematiky na University of Amsterdam.[14][15] Doktorát dokončil na University of Manchester pod dohledem Peter Aczel v roce 1977. Jeho disertační práce měla název „Aplikace teorie množin na zobecněné kvantifikátory“.[16] Byl zvolen do Finská akademie věd a literatury v roce 2002.[17]V letech 2004 až 2006 působil jako člen Senátu Helsinské univerzity. Od roku 2007 působí jako pokladník Evropská matematická společnost.[18]
Publikace
Knihy
- Logika závislosti, Cambridge University Press, 2007.[9]
- Modely a hry, Cambridge University Press, 2011.[8]
Viz také
Reference
- ^ "ŽIVOTOPIS." http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Katedra matematiky a statistiky Univerzita v Helsinkách, FINSKO. Web. 20. března 2014. <http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf >.
- ^ J. Väänänen, Nastavit teoretickou definovatelnost logiky. v J. Barwise a S. Feferman, redaktoři, Model Theoretic Logics, strany 599-643, Springer, 1985.
- ^ J. Stavi a J. Väänänen, Reflexní principy pro kontinuum. Logic and Algebra, ed. Yi Zhang, str. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.
- ^ M. Dzamonja a J. Väänänen, Rodina stromů bez nespočetných větví, Topology Proceedings sv. 28: 1, 2004, 113-132.
- ^ A b J. Väänänen, Logika druhého řádu nebo teorie množin?, Bulletin of Symbolic Logic, 18 (1), 91-121, 2012.
- ^ J. Väänänen, Booleovské hodnotné modely a zobecněné kvantifikátory, Annals of Mathematical Logic, 79, strany 193-225, 1980.
- ^ T. Hyttinen a J. Väänänen, Na stromech Scotta a Karpa nespočetných modelů, Journal of Symbolic Logic55 (3): 897-908, 1990.
- ^ A b J. Väänänen, Modely a hry, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, s. 380.
- ^ A b J. Väänänen, Logika závislosti, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, s. 240.
- ^ M. Magidor a J. Väänänen, Na Löwenheim-Skolem-Tarski čísla pro rozšíření logiky prvního řádu, Journal of Mathematical Logic, 11 (1), 87-113, 2011.
- ^ E. Grädel a J. Väänänen, Závislost a nezávislost, Studia Logica: Svazek 101, vydání 2 (2013), strana 233-236.
- ^ J. Väänänen, Logika druhého řádu a základy matematiky, Bulletin of Symbolic Logic, svazek 7, číslo 4, prosinec 2001.
- ^ Profesor Jouko Väänänen jmenován prorektorem univerzity v Helsinkách
- ^ Jouko Väänänen na univerzitě v Helsinkách
- ^ Jouko Väänänen na univerzitě v Amsterdamu
- ^ "Aplikace teorie množin na zobecněné kvantifikátory". Archivovány od originál dne 2012-12-23. Citováno 2013-06-05.
- ^ Členové finské akademie věd a literatury Archivováno 07.10.2015 na Wayback Machine
- ^ Výkonný výbor EMS