📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #новости #учёба #просеминар
Просеминар по математической логике продолжает свою работу! Приглашаются все желающие! Сайт просеминара
https://proseminar.math.ru/27 апреля в 16:45 - тема "Арифметика Пресбургера" от Александра Запрягаева.
Арифметика Пресбургера - это элементарная теория натуральных чисел со сложением, без умножения. Мы рассмотрим основные логические свойств арифметики Пресбургера, многие из которых резко контрастируют с арифметикой Пеано. Мы дадим описание нестандартных моделей, обсудим определимость подмножеств натурального ряда в арифметике Пресбургера и некоторые вопросы теории интерпретаций, а также некоторые теории, родственные арифметике Пресбургера или являющиеся её расширениями.
Просеминар пройдёт через зум.
Подключиться к конференции Zoom
https://us02web.zoom.us/j/87604655398?pwd=S1ZobVZYdnpИдентификатор конференции: 876 0465 5398
Код доступа: 075458.