From Wikipedia, the free encyclopedia
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 served as 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 with the PhD thesis 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 and the Treasurer of the
European Mathematical Society from 2007 to 2014,
[18] as well as the Treasurer of the European Set Theory Society
[19] since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.
[20]
Publications
Books
- Dependence Logic, Cambridge University Press, 2007.
[9]
- Models and Games, Cambridge University Press, 2011.
[8]
See also
References
-
^ "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>.
-
^ J. Väänänen,
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,
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,
A family of trees with no uncountable branches, Topology Proceedings vol. 28:1, 2004, 113-132.
- ^
a
b J. Väänänen,
Second order logic or set theory?,
Bulletin of Symbolic Logic, 18(1), 91-121, 2012.
-
^ J. Väänänen,
Boolean valued models and generalized quantifiers,
Annals of Mathematical Logic, 79, pages 193-225, 1980.
-
^ T. Hyttinen and J. Väänänen,
On Scott and Karp trees of uncountable models,
Journal of Symbolic Logic 55(3):897-908, 1990.
- ^
a
b J. Väänänen,
Models and Games, Cambridge Studies in Advanced Mathematics (No. 132) Cambridge University Press, 2011, pp. 380.
- ^
a
b J. Väänänen,
Dependence Logic, London Mathematical Society Student Texts (No. 70) Cambridge University Press, 2007, pp. 240.
-
^
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.
-
^ E. Grädel and J. Väänänen,
Dependence and independence,
Studia Logica: Volume 101, Issue 2 (2013), Page 233-236.
-
^ J. Väänänen,
Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
-
^
Professor Jouko Väänänen appointed vice-rector of the University of Helsinki
-
^
Jouko Väänänen at the University of Helsinki
-
^
Jouko Väänänen at the University of Amsterdam
-
^
"Applications of set theory to generalized quantifiers". Archived from
the original on 2012-12-23. Retrieved 2013-06-05.
-
^
Members of the Finnish Academy of Science and Letters
Archived 2015-10-07 at the
Wayback Machine
-
^
Executive Committee of the EMS
-
^
European Set Theory Society
-
^
Magnus Ehrnrooth Foundation prize to professor Jouko Väänänen
External links
|
---|
International | |
---|
National | |
---|
Academics | |
---|
Other | |
---|