| Форма представления | Тезисы и материалы конференций в зарубежных журналах и сборниках |
| Год публикации | 2017 |
| Язык | английский |
|
Зубков Максим Витальевич, автор
|
| Библиографическое описание на языке оригинала |
Zubkov M.V. On the Kierstead“s Conjecture / M.V. Zubkov // Logic Colloquium 2017. Programme and Abstracts, August 14-20, 2017, - Stockholm. - P. 233. |
| Аннотация |
Logic Colloquium 2017. Programme and Abstracts |
| Ключевые слова |
вычислимость, линейный порядок, автоморфизм, гипотеза Кирстеда |
| Название журнала |
Logic Colloquium 2017. Programme and Abstracts
|
| URL |
http://www.math-stockholm.se/polopoly_fs/1.745278!/LC2017book.pdf |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=170633 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Зубков Максим Витальевич |
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/?p_id=170633 |
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 |
Тезисы и материалы конференций в зарубежных журналах и сборниках |
ru_RU |
|