Доклад Александра Запрягаева "Арифметика Пресбургера"
Мероприятие завершено
10 июня в 16.40 состоится онлайн-заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Александр Запрягаев
аспирант Факультета математики, стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Арифметика Пресбургера"
Аннотация:
Арифметика Пресбургера - это элементарная теория натуральных чисел со сложением, без умножения. В настоящем докладе будет дан обзор основных логических свойств арифметики Пресбургера, в том числе в сравнении с арифметикой Пеано. Особое внимание будет уделено нестандартным моделям, определимости подмножеств натурального ряда в арифметике Пресбургера и связанным вопросам теории интерпретаций.
- Время: 10 июня (ср), 16.40
Zoom:
- Идентификатор конференции: 652 689 6901
- Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
Дата
10 июня
16:40
В статье упомянуты