Thematic Session 6: Mathematical developments in general relativity