Решение проблемы (1948 год) А. Тарского В. А. Любецкий, В. Г. Кановей Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ 19 сентября 2023 г. 16:00
Определимые элементы определимых множеств В. Г. Кановей Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 февраля 2018 г. 18:30