Computable model theory over the reals | Sciact - Система учета научной деятельности ИМ СО РАН

Computable model theory over the reals Научная публикация

Журнал

Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349

Вых. Данные

Год: 2017, Том: 10010, Страницы: 354-365 Страниц : 12 DOI: 10.1007/978-3-319-50062-1_22

Авторы

Morozov A.S. ^1,2

Организации

1	Sobolev Institute of Mathematics SB RAS, Koptyug Avenue 4, Novosibirsk, Russian Federation
2	The Novosibirsk State University, Pirogova Street 2, Novosibirsk, 630090, Russian Federation

This paper is a survey of results together with a list of open questions on Σ–definability of structures over HF(R), the hereditarily finite superstructure over the ordered field of the real numbers. © Springer International Publishing AG 2017.

Morozov A.S.
Computable model theory over the reals
Lecture Notes in Computer Science. 2017. V.10010. P.354-365. DOI: 10.1007/978-3-319-50062-1_22 Scopus OpenAlex

Scopus:	2-s2.0-85008477678
OpenAlex:	W2558458100

БД	Цитирований
OpenAlex	1