Computable model theory over HF(R) - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Язык

Английский

Тип доклада

Пленарный

Конференция

Международная конференция «Мальцевские чтения»
16-19 нояб. 2020 , Новосибирск

Авторы

Морозов Андрей Сергеевич ^1,2

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Новосибирский государственный университет

Morozov A.S.
Computable model theory over HF(R)
Международная конференция «Мальцевские чтения» 16-19 Nov 2020