Me and a monster

Åsa Hirvonen, Ph.D.

University lecturer in mathematical logic

Contact info

Room: D331, Exactum
Address: Department of Mathematics and Statistics, P.O.Box 68 (Pietari Kalmin katu 5), 00014 University of Helsinki
Email: asa.hirvonen 'at' helsinki.fi
Tel: +358-2941 51442

Publications

Published or accepted

• Åsa Hirvonen and Tapani Hyttinen. Categoricity in homogeneous complete metric spaces. Arch. Math. Logic (2009) 48:269-322. pdf
  The original publication is available at www.springerlink.com
• Åsa Hirvonen and Tapani Hyttinen. Metric abstract elementary classes with perturbations. Fund. Math. (2012) 217:123-170. preprint
• Åsa Hirvonen. Independence n model theory. In Dependence logic, 109-128, Birkhäuser/Springer, 2016.
• Åsa Hirvonen and Tapani Hyttinen. Measuring dependence in metric abstract elementary classes with perturbations. J. Symb. Log. 82 (2017), no. 4, 1199-1228. arXiv:1311.3806
• Åsa Hirvonen and Tapani Hyttinen. On eigenvectors, approximations and the Feynman Propagator. To appear in APAL. arXiv:1407.2134

Theses

• Categoricity in homogeneous complete metric spaces (Licentiate's thesis; Advisors: Tapani Hyttinen and Hans-Olav Tylli).
• Homogeneous Model Theory of Metric Structures (Doctoral thesis; Advisors: Tapani Hyttinen and Hans-Olav Tylli). Consists of an introduction and the articles Categoricity in homogeneous complete metric spaces and Metric abstract elementary classes with perturbations (an earlier, shorter version than the published one).

Teaching

• Topologi IB, Fall 2018
• Introduction to Quantum Computation, Fall 2018
• Mathematical logic, Spring 2018
• Complexity theory, Fall 2017
• Matemaattinen logiikka, Spring 2017
• Ramsey Theory, Fall 2016
• Johdatus logiikkaan 1, Spring 2016
• Johdatus logiikkaan 2, Spring 2016
• Logic toolbox for mainstream mathematicians, Fall 2015
• Introduction to continuous logic, Fall 2015
• Logiikka I, Spring 2015
• Logiikka I, Spring 2014
• Logik I, Spring 2013
• Algebra II, Spring 2011
• Malliteoria, Autumn 2008, beginning course in Model theory