Re-upping (mostly for my future self)0
RT @archernikov: Apparently model theory of relativity is a whole area, and there is some more recent work aiming to extend this to general…
Apparently model theory of relativity is a whole area, and there is some more recent work aiming to extend this to general relativity, e.g. a survey "A logic road from special relativity to general relativity" https://t.co/oWehKamBif 10/n
Early morning exploration on the internet and there’s some mad work happening at Alfréd Rényi institute marrying logic with relativity: https://t.co/RYGdBxQSEd If I am not too far off in my understanding, they are building an axiomatic system that mirrors
[pdf] A logic road from special relativity to general relativity (Andréka, H., J. X. Madarász, I. Németi, G. Székely) http://t.co/GKjGX4b1Ni