Definability in numerical structuresдоклад на конференции