Jouko Väänänen

From Wikipedia, the free encyclopedia
Jouko Antero Väänänen
Alma mater University of Manchester
Thesis Applications of set theory to generalized quantifiers (1977)
Doctoral advisor Peter Aczel

Jouko Antero Väänänen is a Finnish mathematical logician known for his contributions to set theory,[1][2][3][4] model theory,[5][6][7] logic[8][9][10] and foundations of mathematics.[4][11] He was born in Rovaniemi, Lapland. He is a professor of mathematics at the University of Helsinki and 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. His PhD thesis was 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 a member of the Senate of the University of Helsinki 2004-2006. Starting in 2007 he has served as the Treasurer of the European Mathematical Society.[16]

Publications

Books

  • Dependence Logic, Cambridge University Press, 2007.[8]
  • Models and Games, Cambridge University Press, 2011.[7]

See also

References

  1. ↑ J. Väänänen, Set theoretic definability of logics. In J.Barwise and S.Feferman, editors, Model Theoretic Logics, pages 599-643, Springer, 1985.
  2. ↑ 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.
  3. ↑ M. Dzamonja and J. Väänänen, A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132.
  4. ↑ 4.0 4.1 J. Väänänen, Second order logic or set theory?, Bulletin of Symbolic Logic, 18(1), 91-121, 2012.
  5. ↑ J. Väänänen, Boolean valued models and generalized quantifiers, Annals of Mathematical Logic, 79, pages 193-225, 1980.
  6. ↑ T. Hyttinen and J. Väänänen, On Scott and Karp trees of uncountable models, Journal of Symbolic Logic55(3):897-908, 1990.
  7. ↑ 7.0 7.1 J. Väänänen, Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.
  8. ↑ 8.0 8.1 J. Väänänen, Dependence Logic, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240.
  9. ↑ 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.
  10. ↑ E. Grädel and J. Väänänen, Dependence and independence, Studia Logica: Volume 101, Issue 2 (2013), Page 233-236.
  11. ↑ J. Väänänen, Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
  12. ↑ 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. ↑ Applications of set theory to generalized quantifiers
  15. ↑ Members of the Finnish Academy of Science and Letters
  16. ↑ Executive Committee of the EMS

External links

Authority control
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.