ALGAR 2020: Lecture series
Published:
Posts by Collection
portfolio
publications
talks
A universal definition of Z in Q
Published:
A variation of this talk was also given at the Algebra and Number Theory Seminar at Penn State on October 7, 2020.
How many quantifiers are needed to existentially define a given subset of a field?
Published:
Based on joint work with Philip Dittmann and Arno Fehm. Earlier, this talk was given twice online, once on July 18, 2022 for the Oberseminar ‘Complexity Theory, Model Theory, Set Theory’, and once on June 18, 2021 at SMTH2.
Hilbert’s 10th Problem and Decidability in Algebra and Number Theory
Published:
A shortened version of this talk was given at the Belgian Mathematical Society’s Young Scholar Day on December 20, 2023.
The Pythagoras number of function fields
Published:
Quadratic forms and valued fields
Published:
teaching
2022-2023: Quadratic forms and class fields II
Master course, Charles University MFF, Department of Algebra, 2023
2023-2024: Quadratic forms and class fields II
Master course, Charles University MFF, Department of Algebra, 2024