Theory of Definability – the Geometry of Logicдоклад на конференции