The equivalences and differences of physical theories are being studied by establishing definitional equivalences between the different theories. Classical mechanics is being compared with Special Relativity Theory, Newton-Cartan theory will be compared to General Relativiy Theory.
The axioms being used are variations on the approach by the Andréka-Németi group of the Algebraic Logic department of the Alfréd Rényi Institute for Mathematics (Hungarian Academy of Sciences).
Promotors: Jean Paul van Bendegem (VUB, UGent) en Gergely Székely (Alfréd Rényi Institute).