Jouko Väänänen

{{Infobox scientist

| name = Jouko Antero Väänänen

| image = Jouko Vaananen2014.jpg

| image_size =

| alt =

| caption =

| birth_date = {{Birth date and age|1950|9|3}}

| birth_place = Rovaniemi, Lapland

| death_date =

| death_place =

| resting_place =

| resting_place_coordinates =

| residence =

| citizenship = Finnish

| nationality =

| 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

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for = Dependence logic, abstract model theory, set theory

| author_abbrev_bot =

| author_abbrev_zoo =

| influences =

| influenced =

| awards =

| signature =

| signature_alt =

| website =

| footnotes =

| spouse = Juliette Kennedy

}}

Jouko Antero Väänänen (born September 3, 1950 in Rovaniemi, Lapland)"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. . is a Finnish mathematical logician known for his contributions to set theory,J. Väänänen, [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pl/1235417283 Set theoretic definability of logics]. In J. Barwise and S. Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985.J. Stavi and J. Väänänen, [http://www.logic.math.helsinki.fi/people/jouko.vaananen/JV66.pdf Reflection principles for the continuum]. Logic and Algebra, ed. Yi Zhang, pp. 59-84, Contemporary Mathematics, Vol 302, AMS, 2002.M. Dzamonja and J. Väänänen, [http://topology.auburn.edu/tp/reprints/v28/ A family of trees with no uncountable branches], Topology Proceedings vol. 28:1, 2004, 113-132.J. Väänänen, [https://www.math.ucla.edu/~asl/bsl/1801-toc.htm Second order logic or set theory?], Bulletin of Symbolic Logic, 18(1), 91-121, 2012. model theory,J. Väänänen, [http://www.sciencedirect.com/science/article/pii/0003484380900054 Boolean valued models and generalized quantifiers], Annals of Mathematical Logic, 79, pages 193-225, 1980.T. Hyttinen and J. Väänänen, [https://www.jstor.org/stable/2274463 On Scott and Karp trees of uncountable models], Journal of Symbolic Logic 55(3):897-908, 1990. logicM. Magidor and J. Väänänen, [http://philpapers.org/rec/MAGOLN On Löwenheim-Skolem-Tarski numbers for extensions of first order logic], Journal of Mathematical Logic, 11(1), 87-113, 2011.E. Grädel and J. Väänänen, [https://link.springer.com/article/10.1007%2Fs11225-013-9479-2 Dependence and independence], Studia Logica: Volume 101, Issue 2 (2013), Page 233-236. and foundations of mathematics.J. Väänänen, [https://www.math.ucla.edu/~asl/bsl/07-toc.htm Second order logic and foundations of mathematics], Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001. He served as the vice-rector at the University of Helsinki,[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] 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.[http://wiki.helsinki.fi/pages/viewpage.action?pageId=31431091 Jouko Väänänen at the University of Helsinki][http://www.illc.uva.nl/People/show_person.php?Person_id=Vaananen+J.A. Jouko Väänänen at the University of Amsterdam] 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".{{Cite web |url=http://catalogue.library.manchester.ac.uk/items/2558310 |title=Applications of set theory to generalized quantifiers |access-date=2013-06-05 |archive-url=https://archive.today/20121223045220/http://catalogue.library.manchester.ac.uk/items/2558310 |archive-date=2012-12-23 |url-status=dead }} He was elected to the Finnish Academy of Science and Letters in 2002.[http://www.acadsci.fi/members.htm Members of the Finnish Academy of Science and Letters] {{webarchive|url=https://web.archive.org/web/20151007065527/http://www.acadsci.fi/members.htm |date=2015-10-07 }}

He served as a

member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014,[http://www.euro-math-soc.eu/comm-executive.html Executive Committee] {{Webarchive|url=https://web.archive.org/web/20130612140236/http://www.euro-math-soc.eu/comm-executive.html |date=2013-06-12 }} of the EMS as well as the Treasurer of the European Set Theory Society

[https://ests.wordpress.com European Set Theory Society] since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.[https://magnusehrnroothinsaatio.fi/en/magnus-ehrnrooth-foundation-prize-to-professor-jouko-vaananen Magnus Ehrnrooth Foundation prize to professor Jouko Väänänen]