В.Е. Карпов. О Π11-полноте Σ2-теории натуральных чисел со стандартным порядком и свободной ...

2026 г. НОЦ. Рабочий семинар по математической логике В.Е. Карпов. О Π11-полноте Σ2-теории натуральных чисел со стандартным порядком и свободной эквивалентностью 20 мая 2026 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8) Источник: http://www.mathnet.ru/present50495 Все видео курса: https://www.mathnet.ru/conf2533 https://www.youtube.com/playlist?list=PLUbD59ZHv1GT19__fIPcTSeVHMiepWddK