Index sets of quotient objects of the Post numeration (Q1263578): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3880827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3320353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3792671 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3819052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3926562 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A hierarchy of families of recursively enumerable degrees / rank | |||
Normal rank |
Latest revision as of 11:54, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Index sets of quotient objects of the Post numeration |
scientific article |
Statements
Index sets of quotient objects of the Post numeration (English)
0 references
1988
0 references
This interesting paper deals with equivalence relations on r.e. sets from the viewpoint of the general theory of numeration. It is shown that in this investigation an important part is played by the theory of complete numeration, developed by A. I. Mal'tsev and Yu. L. Ershov, as well as the notions and results of the author himself. A close connection is established between numeration theory and the results of M. M. Arslanov, C. G. Jockusch and R. Solovay. In {\S} 1 some classes of precomplete numerations are studied. In {\S} 2- 4 the results obtained are applied to study important factor-objects of Post's numeration. The index sets of such numerations are studied in detail.
0 references
equivalence relations on r.e. sets
0 references
complete numeration
0 references
precomplete numerations
0 references
Post's numeration
0 references
index sets
0 references