Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

Standard

Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis. / Aleksandrova, S. A.

In: Siberian Mathematical Journal, Vol. 59, No. 5, 01.09.2018, p. 763-767.

Research output: Contribution to journal › Article › peer-review

BibTeX

@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.}",

note = "Publisher Copyright: {\textcopyright} 2018, Pleiades Publishing, Ltd.",

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",

}

RIS

TY - JOUR

T1 - Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

AU - Aleksandrova, S. A.

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