Computable model theory over the reals

Andrey S. Morozov

doi:10.1007/978-3-319-50062-1_22

Computable model theory over the reals

Andrey S. Morozov

Кафедра дискретной математики и информатики ММФ и СУНЦ

Результат исследования: Научные публикации в периодических изданиях › статья

Аннотация

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	https://doi.org/10.1007/978-3-319-50062-1_22
Состояние	Опубликовано - 1 янв 2017

Доступ к документу

10.1007/978-3-319-50062-1_22

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Computable model theory over the reals». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Morozov, A. S. (2017). Computable model theory over the reals. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10010, 354-365. https://doi.org/10.1007/978-3-319-50062-1_22

@article{e910a36203fd4d60bc8a012a69fe57c6,

title = "Computable model theory over the reals",

abstract = "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.",

author = "Morozov, {Andrey S.}",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/978-3-319-50062-1_22",

language = "English",

volume = "10010",

pages = "354--365",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer-Verlag GmbH and Co. KG",

}

Computable model theory over the reals. / Morozov, Andrey S.

В: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том 10010, 01.01.2017, стр. 354-365.

Результат исследования: Научные публикации в периодических изданиях › статья

TY - JOUR

T1 - Computable model theory over the reals

AU - Morozov, Andrey S.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85008477678&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-50062-1_22

DO - 10.1007/978-3-319-50062-1_22

M3 - Article

AN - SCOPUS:85008477678

VL - 10010

SP - 354

EP - 365

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -