A relativitáselméleteket (speciális, általános, kozmológiai, gyorsuló megfigyelők elmélete,…) a matematikai logika keretén belül építjük fel mint elsőrendű logikai elméletek, és többek között vizsgáljuk ezeket a matematikai logika eszközeivel. Például vizsgáljuk ezen elméletek kifejezőerejét, definiálhatósági tulajdonságaikat, egymáshoz való viszonyát, vizsgáljuk a relativisztikus kiszámíthatóság elméletét.
ajánlott nyelvtudás (magyar oldal): angol felvehető hallgatók száma: 1