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)
СостояниеОпубликовано - 1 янв 2017

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