Browsing University of Waterloo by Supervisor "Moosa, Rahim"
Now showing items 1-2 of 2
-
A guide to F-automatic sets
(University of Waterloo, 2021-09-08)A self-contained introduction to the theory of F-automatic sets is given. Building on [Bell, Moosa, F-sets and finite automata, Journal de théorie des nombres de Bordeaux, 2019], contributions are made to both the foundations ... -
The Logarithmic Derivative and Model-Theoretic Analysability in Differentially Closed Fields
(University of Waterloo, 2019-01-22)This thesis deals with internal and analysable types, mainly in the context of the stable theory of differentially closed fields. Two main problems are dealt with: the construction of types analysable in the constants with ...