Thesis supervisor: Hajnal Andréka
Location of studies (in Hungarian): ELTE BTK Abbreviation of location of studies: ELTE
Description of the research topic:
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.