Standard

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

In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10010, 01.01.2017, p. 354-365.

Research output: Contribution to journal › Article › peer-review

Harvard

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

APA

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

Vancouver

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

Author

Morozov, Andrey S. / Computable model theory over the reals. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2017 ; Vol. 10010. pp. 354-365.

BibTeX

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

}

RIS

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 -

ID: 10316749