Personal profile
Fields of Science
- 111 Mathematics
- Mathematical Logic
-
On ultraproducts, the spectral theorem and rigged Hilbert spaces
Hirvonen, Å. & Hyttinen, T., 17 Dec 2024, In: Journal of Symbolic Logic. 89, 4, p. 1397-1429 33 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Games and Scott sentences for positive distances between metric structures
Hirvonen, Å. & Puljujärvi, J., Jul 2022, In: Annals of Pure and Applied Logic. 173, 7, 36 p., 103123.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Continuous Team Semantics
Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer, Vol. 11436. p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 11436).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Facets of Distribution Identities in Probabilistic Team Semantics
Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
On Eigenvectors, Approximations and the Feynman Propagator
Hirvonen, Å. & Hyttinen, T., Jan 2019, In: Annals of Pure and Applied Logic. 170, 1, p. 109-135 27 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
Activities
-
Leibniz Universität Hannover, Germany
Hirvonen, Å. (Visiting researcher)
17 Mar 2025 → 21 Mar 2025Activity: Visiting an external institution types › Academic visit to other institution
-
Integraalipäivät
Hirvonen, Å. (Speaker: Keynote)
29 Oct 2021 → 31 Oct 2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Department of Computer Science, Swansea University
Hirvonen, Å. (Visiting researcher)
17 May 2019 → 23 May 2019Activity: Visiting an external institution types › Academic visit to other institution
-
Scandinavian Logic Symposium 2020
Hirvonen, Å. (Scientific Committee Chair)
2019 → …Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Dagstuhl Seminar 19031: Logics for Dependence and Independence
Hirvonen, Å. (Attendee)
14 Jan 2019 → 18 Jan 2019Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars