Sciact
  • EN
  • RU

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
Альметрики: