Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

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

Аннотация

We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.

Язык оригиналаанглийский
Страницы (с-по)763-767
Число страниц5
ЖурналSiberian Mathematical Journal
Том59
Номер выпуска5
DOI
СостояниеОпубликовано - 1 сен 2018

Fingerprint Подробные сведения о темах исследования «Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать