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

Цитировать

@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 -

Computable model theory over the reals

Аннотация

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

Fingerprint

Цитировать