Personal profile
Biography
I am a 4th year PhD student, working on the project "Model theory and quasiminimality for analytic functions". Before UEA I did a Master of Logic at University of Amsterdam and a Bachelor of Mathematics at Higher School of Economics (Moscow).
Education/Academic qualification
Master in Science, Positive modal logic beyond distributivity: duality, preservation and completeness, University of Amsterdam
1 Sept 2019 → 27 Aug 2021
Award Date: 27 Aug 2021
Bachelor of Science, First order theories related to elementary geometry and their interpretations, National Research University Higher School of Economics
1 Sept 2015 → 18 Jun 2021
Award Date: 18 Jun 2021
External positions
Teaching Assistant, National Research University Higher School of Economics
1 Sept 2016 → 1 Jun 2018
Collaborations and top research areas from the last five years
-
Dividing lines between positive theories
Dmitrieva, A., Gallinaro, F. & Kamsma, M., 1 Dec 2025, In: Journal of Symbolic Logic. 90, 4, p. 1639-1663 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)41 Downloads (Pure) -
Axiomatizing Origami Planes
Beklemishev, L., Dmitrieva, A. & Makowsky, J. A., 26 Jul 2024, Dick de Jongh on Intuitionistic and Provability Logics. Bezhanishvili, N., Iemhoff, R. & Yang, F. (eds.). 1 ed. Springer, Vol. 28. p. 353-377 25 p. (Outstanding Contributions to Logic; vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Positive modal logic beyond distributivity
Bezhanishvili, N., Dmitrieva, A., de Groot, J. & Moraschini, T., Feb 2024, In: Annals of Pure and Applied Logic. 175, 2, 103374.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)35 Downloads (Pure)
Prizes
-
Evert Willem Beth Scholarship
Dmitrieva, Anna (Recipient), 2019
Prize: Fellowship awarded competitively
File -
VvL Master’s Thesis Award
Dmitrieva, Anna (Recipient), 2022
Prize: Prize (including medals and awards)