Аннотация
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.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 354-365 |
Число страниц | 12 |
Журнал | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Том | 10010 |
DOI | |
Состояние | Опубликовано - 1 янв 2017 |