Homepage of Matti Pauna
Contact info:
Matti Pauna
Department of Mathematics and Statistics
Room: Exactum C315
Address: P.O. Box 68 (Gustaf Hällströmin katu 2b), FI-00014
University of Helsinki
matti.pauna@helsinki.fi
Mobile: +358 41 543 9889
Current Projects
- JEM (Joining Educational Mathematics), 2006-2009
- WebALT (Web Advanced Learning Tecnhologies), 2005-2006
Studies
- Doctor of Philosophy in mathematics in June 15 2007
- Licenciate of Philosophy degree in June 18 2001
- Master of Science degree in December 18 1998
Research Interests
- Applying logic into the field of theoretical computer science
- Game theory: Ehrenfeucht-Fraisse games in model theory and computer science
- Non-wellfounded sets and their applications
- Using technology in mathematics education
Publications
Mathematics
- Jakob Kellner, Matti Pauna and Saharon Shelah: Winning the pressing down game but not Banach Mazur, J.
Symbolic Logic 72 (2007), No. 4, 1323-1335, arXiv:math/0609655.
- Matti Pauna: A domain order over non-wellfounded sets, Philosophy Licenciate's
Thesis, (2001)
- Tapani Hyttinen and Matti Pauna On non-wellfounded sets as fixed points of substitutions, Notre Dame
Journal of Formal Logic 42(1): 23-40 (2001)
Technology Enhanced Mathematics Education, Conference Talk Proceedings