Form of presentation | Conference proceedings in international journals and collections |
Year of publication | 2017 |
Язык | английский |
|
Zubkov Maksim Vitalevich, author
|
Bibliographic description in the original language |
Zubkov M.V. On the Kierstead“s Conjecture / M.V. Zubkov // Logic Colloquium 2017. Programme and Abstracts, August 14-20, 2017, - Stockholm. - P. 233. |
Annotation |
Logic Colloquium 2017. Programme and Abstracts |
Keywords |
вычислимость, линейный порядок, автоморфизм, гипотеза Кирстеда |
The name of the journal |
Logic Colloquium 2017. Programme and Abstracts
|
URL |
http://www.math-stockholm.se/polopoly_fs/1.745278!/LC2017book.pdf |
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=170633&p_lang=2 |
Full metadata record ![](https://shelly.kpfu.ru/pdf/picture/arrow_black_right.gif) |
Field DC |
Value |
Language |
dc.contributor.author |
Zubkov Maksim Vitalevich |
ru_RU |
dc.date.accessioned |
2017-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2017-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2017 |
ru_RU |
dc.identifier.citation |
Zubkov M.V. On the Kierstead“s Conjecture / M.V. Zubkov // Logic Colloquium 2017. Programme and Abstracts, August 14-20, 2017, - Stockholm. - P. 233. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=170633&p_lang=2 |
ru_RU |
dc.description.abstract |
Logic Colloquium 2017. Programme and Abstracts |
ru_RU |
dc.description.abstract |
Приведены последние результаты направленные на решение проблемы Кирстеда о вычислимых линейных порядках без сильно нетривиальных $\Pi^0_1$-автоморфизмов |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
вычислимость |
ru_RU |
dc.subject |
линейный порядок |
ru_RU |
dc.subject |
автоморфизм |
ru_RU |
dc.subject |
гипотеза Кирстеда |
ru_RU |
dc.title |
On the Kierstead“s Conjecture |
ru_RU |
dc.type |
Conference proceedings in international journals and collections |
ru_RU |
|