Jouko Väänänen Explained

Jouko Antero Väänänen
Birth Date:	3 September 1950
Birth Place:	Rovaniemi, Lapland
Citizenship:	Finnish
Fields:	mathematical logic
Workplaces:	University of Helsinki, Amsterdam University
Alma Mater:	University of Manchester
Thesis Title:	Applications of set theory to generalized quantifiers
Thesis Url:	http://catalogue.library.manchester.ac.uk/items/2558310
Thesis Year:	1977
Doctoral Advisor:	Peter Aczel
Known For:	Dependence logic, abstract model theory, set theory
Spouse:	Juliette Kennedy

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]} logic^{[8] [9]} and foundations of mathematics.^{[5] [10]} He served as the vice-rector at the University of Helsinki,^[11] 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.^{[12] [13]} He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers".^[14] He was elected to the Finnish Academy of Science and Letters in 2002.^[15] He served as amember of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014,^[16] as well as the Treasurer of the European Set Theory Society^[17] since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.^[18]

Publications

Books

• Dependence Logic, Cambridge University Press, 2007.^[19]
• Models and Games, Cambridge University Press, 2011.^[20]

See also

• Dependence logic

External links

• Jouko Väänänen's home page
• Jouko Väänänen in mathematics genealogy

Notes and 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. .
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 Logic 55(3):897-908, 1990.
8. [Menachem Magidor|M. Magidor]
9. E. Grädel and J. Väänänen, Dependence and independence, Studia Logica: Volume 101, Issue 2 (2013), Page 233-236.
10. J. Väänänen, Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
11. https://www.helsinki.fi/en/news/higher-education-science-policy/professor-jouko-vaananen-appointed-vice-rector-of-the-university-of-helsinki Professor Jouko Väänänen appointed vice-rector of the University of Helsinki
12. http://wiki.helsinki.fi/pages/viewpage.action?pageId=31431091 Jouko Väänänen at the University of Helsinki
13. http://www.illc.uva.nl/People/show_person.php?Person_id=Vaananen+J.A. Jouko Väänänen at the University of Amsterdam
14. Web site: Applications of set theory to generalized quantifiers . 2013-06-05 . https://archive.today/20121223045220/http://catalogue.library.manchester.ac.uk/items/2558310 . 2012-12-23 . dead .
15. http://www.acadsci.fi/members.htm Members of the Finnish Academy of Science and Letters
16. http://www.euro-math-soc.eu/comm-executive.html Executive Committee
17. https://ests.wordpress.com European Set Theory Society
18. https://magnusehrnroothinsaatio.fi/en/magnus-ehrnrooth-foundation-prize-to-professor-jouko-vaananen Magnus Ehrnrooth Foundation prize to professor Jouko Väänänen
19. J. Väänänen, Dependence Logic, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240.
20. J. Väänänen, Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.