Back to Search Start Over

Index sets of autostable relative to strong constructivizations constructive models for familiar classes

Authors :
Nikolay Bazhenov
Sergey Goncharov
M. I. Marchuk
Source :
Doklady Mathematics. 92:525-527
Publication Year :
2015
Publisher :
Pleiades Publishing Ltd, 2015.

Abstract

This paper calculates, in a precise way, the complexity of the index sets for computable structures that are autostable relative to strong constructivizations and belong to one of the following classes: linear orderings, Boolean algebras, distributive lattices, partial orderings, rings, and commutative semigroups. We also calculate the complexity of the index set for computable structures that have computable dimension n, where n is a fixed natural number greater than 1.

Details

ISSN :
15318362 and 10645624
Volume :
92
Database :
OpenAIRE
Journal :
Doklady Mathematics
Accession number :
edsair.doi...........a9e854ead9e3013c12559a95607670ee