Upper Complete Discrete Structures and Definability Space. Program «Definability»доклад на конференции