Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis. / Aleksandrova, S. A.
в: Siberian Mathematical Journal, Том 59, № 5, 01.09.2018, стр. 763-767.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis
AU - Aleksandrova, S. A.
N1 - Publisher Copyright: © 2018, Pleiades Publishing, Ltd.
PY - 2018/9/1
Y1 - 2018/9/1
N2 - We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.
AB - We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.
KW - admissible set
KW - computability
KW - computable analysis
KW - hereditarily finite superstructure
KW - Σ-definability
KW - Sigma-definability
UR - http://www.scopus.com/inward/record.url?scp=85057483374&partnerID=8YFLogxK
U2 - 10.1134/S0037446618050026
DO - 10.1134/S0037446618050026
M3 - Article
VL - 59
SP - 763
EP - 767
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 5
ER -
ID: 17670578