Computable model theory over the reals

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

Аннотация

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

    Fingerprint

Цитировать