|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
Определимые элементы определимых множеств В. Г. Кановей |
|||
Аннотация: Проблема определимого выбора элемента в непустом определимом множестве была поставлена в математике в начале XIX века. Будет рассказано о полученных результатах в этом направлении, и о теоретико-множественных методах, связанных с этими результатами. |