RUS  ENG
Full version
JOURNALS // Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory // Archive

Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 2018 Volume 158, Pages 23–39 (Mi into411)

This article is cited in 2 papers

Degree spectra of structures

I. Sh. Kalimullina, V. L. Selivanovba, A. N. Frolova

a Kazan (Volga Region) Federal University
b A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: In this survey, we discuss computability spectra of countable structures that provide a natural measure of noncomputability of a structure. This notion is a main tool of investigating algorithmic properties of countable structures. Along with a review of known results in this field, we present proofs of some new results to illustrate the method of interpretation which is a basic method of the field. We also discuss some remaining open questions.

Keywords: structure, computable structure, spectrum of a structure, interpretation.

UDC: 510.5, 512.565.2

MSC: 03D45, 03C57


 English version:
Journal of Mathematical Sciences (New York), 2021, 256:2, 143–159

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024