Back to Search
Start Over
Index sets of autostable relative to strong constructivizations constructive models for familiar classes
- 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