Zobrazeno 1 - 3
of 3
pro vyhledávání: '"M. V. Dorzhieva"'
Publikováno v:
Lobachevskii Journal of Mathematics. 42:716-725
Punctual presentations of algebraic structures in several familiar classes are studied. It is proved that the punctual dimension of punctual structures from the following classes is either 1 or $$\infty$$ : equivalence structures, linear orders, tors
Autor:
M. V. Dorzhieva
Publikováno v:
Journal of Mathematical Sciences. 246:788-792
We prove that for the second level analytical hierarchy there are no a one-to-one $$ {\Sigma}_2^1 $$-computable numbering of the family of all $$ {\Sigma}_2^1 $$-sets.
Autor:
M. V. Dorzhieva
Publikováno v:
Algebra and Logic. 58:224-231
We state the following results: the family of all infinite computably enumerable sets has no computable numbering; the family of all infinite $$ {\varPi}_1^1 $$ sets has no $$ {\varPi}_1^1 $$ -computable numbering; the family of all infinite $$ {\var