Jouko Väänänen

Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland)[1] is a Finnish mathematical logician known for his contributions to set theory,[2][3][4][5] model theory,[6][7][8] logic[9][10][11] and foundations of mathematics.[5][12] He is currently the vice-rector at the University of Helsinki,[13] and a professor of mathematics at the University of Helsinki as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam.[14][15] He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977. His PhD thesis was entitled "Applications of set theory to generalized quantifiers".[16] He was elected to the Finnish Academy of Science and Letters in 2002.[17] He served as a member of the Senate of the University of Helsinki from 2004 to 2006. Starting in 2007 he has served as the Treasurer of the European Mathematical Society.[18]

Jouko Antero Väänänen
Born (1950-09-03) September 3, 1950
Rovaniemi, Lapland
Alma materUniversity of Manchester
Scientific career
ThesisApplications of set theory to generalized quantifiers (1977)
Doctoral advisorPeter Aczel

Publications

Books
  • Dependence Logic, Cambridge University Press, 2007.[9]
  • Models and Games, Cambridge University Press, 2011.[8]
gollark: They're just big piles of stone built with horrible quantities of slavery. Not hugely technically interesting.
gollark: Wow, that's very wrong of you, making you a wrong person.
gollark: Too bad, consume bees.
gollark: This is NOT true. I have not in any way been sponsored by pizza companies. There have been no advertising agreements whatsoever with any companies producing pizza or otherwise to have me subliminally advertise pizza, as my profile picture is not a pizza. Since it is not a pizza, this is obviously not pizza advertisement whatsoever. No monetary exchanges or otherwise have occurred with companies engaged in pizza production for any reason relating to my profile picture. You are clearly engaged in libel and attempting to discredit my non-pizza-advertising status. It is IN NO WAY subliminal pizza advertising because I DO NOT work for pizza companies in any form. It's not pizza. There were no deals, under-the-table or otherwise, with pizza companies. No pizza companies pay for any kind of subliminal advertising involving me. People make that mistake, but I am not working for pizza companies doing subliminal advertising; that is not in any way what I am doing. I am NOT being sponsored by ANY pizza companies to display subliminal pizza advertising OF ANY KIND. Pizza companies have NO AFFILIATION with me in ANY FORM.
gollark: That sure is a statement.

See also

References
  1. "CURRICULUM'VITAE." http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Department of Mathematics and Statistics University of Helsinki, FINLAND. Web. 20 Mar 2014. <http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf>.
  2. J. Väänänen, Set theoretic definability of logics. In J. Barwise and S. Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985.
  3. J. Stavi and J. Väänänen, Reflection principles for the continuum. Logic and Algebra, ed. Yi Zhang, pp. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.
  4. M. Dzamonja and J. Väänänen, A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132.
  5. J. Väänänen, Second order logic or set theory?, Bulletin of Symbolic Logic, 18(1), 91-121, 2012.
  6. J. Väänänen, Boolean valued models and generalized quantifiers, Annals of Mathematical Logic, 79, pages 193-225, 1980.
  7. T. Hyttinen and J. Väänänen, On Scott and Karp trees of uncountable models, Journal of Symbolic Logic55(3):897-908, 1990.
  8. J. Väänänen, Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.
  9. J. Väänänen, Dependence Logic, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240.
  10. M. Magidor and J. Väänänen, On Löwenheim-Skolem-Tarski numbers for extensions of first order logic, Journal of Mathematical Logic, 11(1), 87-113, 2011.
  11. E. Grädel and J. Väänänen, Dependence and independence, Studia Logica: Volume 101, Issue 2 (2013), Page 233-236.
  12. J. Väänänen, Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
  13. Professor Jouko Väänänen appointed vice-rector of the University of Helsinki
  14. Jouko Väänänen at the University of Helsinki
  15. Jouko Väänänen at the University of Amsterdam
  16. "Applications of set theory to generalized quantifiers". Archived from the original on 2012-12-23. Retrieved 2013-06-05.
  17. Members of the Finnish Academy of Science and Letters Archived 2015-10-07 at the Wayback Machine
  18. Executive Committee of the EMS
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.