Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleΣ-Definability in Hereditarily Finite Superstructures and Computable Analysis.AuthorsAleksandrova, S. A.AbstractWe construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.SubjectsDEFINABILITY theory (Mathematical logic); LATTICE theory; ADMISSIBLE sets; COMPUTABLE functions; MATHEMATICAL analysisPublicationSiberian Mathematical Journal, 2018, Vol 59, Issue 5, p763ISSN0037-4466Publication typeArticleDOI10.1134/S0037446618050026