Loading...

807-е заседание Красноярского алгебраического семинара

Хлестова Елизавета Ивановна (г. Новосибирск) — Разрешимость и арифметичность счетных моделей теорий с конечным числом счетных моделей (проблема М.Морли).

Семинар: Красноярский алгебраический семинар

25.09.2025 г.

.