Thesis supervisor: Hajnal Andréka
co-supervisor: István Németi
belső konzulens: László E.Szabó
Location of studies (in Hungarian): ELTE BTK Abbreviation of location of studies: ELTE
Description of the research topic:
We build up relativity theories (special, general, cosmological, the theory of accelerated observers,…) in the framework of mathematical logic as theories of first-order logic, and then among others we use the tools of mathematical logic for investigating these. For example, we study the expressive powers of these theories, their definability theoretic properties, interconnections between these theories, we study relativistic computing (computability theory in the relativistic setting).
Recommended language skills (in Hungarian): english Number of students who can be accepted: 1