Geometry and topology call tell us about the shape of data. In this talk, I will give an introduction to my work on learning stratified spaces from samples, look at the use of persistent homology in cell biophysics, and apply persistence in understanding material structures.

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

I am going to start by reviewing axioms of quantum mechanics, which in fact give a description of a Hilbert space. I will argue that the language that Dirac and his followers developed is that of continuous logic and the form of axiomatisation is that of "algebraic logic" in the sense of A. Tarski's cylindric algebras. In fact, Hilbert spaces can be seen as a continuous model theory version of cylindric algebras.

I introduce modal group theory, where one investigates the class of all groups using embeddability as a modal operator. By employing HNN extensions, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. Furthermore, I establish that the theory of true arithmetic, viewed as sets of Gödel numbers, is computably isomorphic to the modal theory of finitely presented groups. Finally, I resolve an open question posed by Sören Berger, Alexander Block, and Benedikt Löwe by proving that the propositional modal validities of groups constitute precisely the modal logic S4.2.