Computable model theory over the reals

Computable model theory over the reals Full article

Journal

Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349

Output data

Year: 2017, Volume: 10010, Pages: 354-365 Pages count : 12 DOI: 10.1007/978-3-319-50062-1_22

Authors

Morozov A.S. ^1,2

Affiliations

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

DB	Citing
OpenAlex	1