Форма представления | Тезисы и материалы конференций в зарубежных журналах и сборниках |
Год публикации | 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 |
|