Classifying equivalence relations in the Ershov hierarchy.

Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars

Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars.

Afiliação

Bazhenov N; Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, Russia 630090.
Mustafa M; Novosibirsk State University, ul. Pirogova 2, Novosibirsk, Russia 630090.
San Mauro L; Department of Mathematics, School of Science and Technology, Nazarbayev University, 53, Kabanbay Batyr Avenue, Astana, 010000 Republic of Kazakhstan.
Sorbi A; Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Vienna, Austria.
Yamaleev M; Dipartimento di Ingegneria Informatica e Scienze Matematiche, Università Degli Studi di Siena, 53100 Siena, Italy.

Arch Math Log ; 59(7): 835-864, 2020.

Article em En | MEDLINE | ID: mdl-33122878

Palavras-chave

<ns0:math> <msubsup> <mi>Δ</mi> <mn>2</mn> <mn>0</mn> </msubsup> </math> equivalence relations; Computability theory; Computably enumerable equivalence relations; Ershov hierarchy

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Ano de publicação: 2020 Tipo de documento: Article

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Ano de publicação: 2020 Tipo de documento: Article