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