@article{deaf7eb4e58640ddace7f769986c4b82,
title = "Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis",
abstract = "We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.",
keywords = "admissible set, computability, computable analysis, hereditarily finite superstructure, Σ-definability, Sigma-definability",
author = "Aleksandrova, {S. A.}",
year = "2018",
month = sep,
day = "1",
doi = "10.1134/S0037446618050026",
language = "English",
volume = "59",
pages = "763--767",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "5",
}