| Form of presentation | Articles in international journals and collections |
| Year of publication | 2020 |
| Язык | английский |
|
Yamaleev Mars Mansurovich, author
|
|
Mustafa Manat , author
San Mauro Luca , author
Sorbi Andrea , author
Bazhenov Nikolay Alekseevich, author
|
| Bibliographic description in the original language |
Bazhenov N.A., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.M. Classifying equivalence relations in the Ershov hierarchy // Archive for Mathematical Logic. - 2020, 59 (7-8), P. 835-864 |
| Keywords |
Иерархия Ершова, степени неразрешимости, отношения эквивалентности |
| The name of the journal |
Archive for Mathematical Logic
|
| URL |
https://link.springer.com/article/10.1007%2Fs00153-020-00710-1 |
| Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=234579&p_lang=2 |
| Resource files | |
|
|
Full metadata record  |
| Field DC |
Value |
Language |
| dc.contributor.author |
Yamaleev Mars Mansurovich |
ru_RU |
| dc.contributor.author |
Mustafa Manat |
ru_RU |
| dc.contributor.author |
San Mauro Luca |
ru_RU |
| dc.contributor.author |
Sorbi Andrea |
ru_RU |
| dc.contributor.author |
Bazhenov Nikolay Alekseevich |
ru_RU |
| dc.date.accessioned |
2020-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2020-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2020 |
ru_RU |
| dc.identifier.citation |
Bazhenov N.A., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.M. Classifying equivalence relations in the Ershov hierarchy // Archive for Mathematical Logic. - 2020, 59 (7-8), P. 835-864 |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=234579&p_lang=2 |
ru_RU |
| dc.description.abstract |
Archive for Mathematical Logic |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
Иерархия Ершова |
ru_RU |
| dc.subject |
степени неразрешимости |
ru_RU |
| dc.subject |
отношения эквивалентности |
ru_RU |
| dc.title |
Classifying equivalence relations in the Ershov hierarchy |
ru_RU |
| dc.type |
Articles in international journals and collections |
ru_RU |
|