Форма представления | Тезисы и материалы конференций в зарубежных журналах и сборниках |
Год публикации | 2018 |
Язык | английский |
|
Зубков Максим Витальевич, автор
|
Библиографическое описание на языке оригинала |
Zubkov M.V. On categoricity of linear orders // Program and abstracts, Logic Colloquium 2018, July 23-28. - Udine, 2018. - P. 154-155. |
Аннотация |
Program and abstracts, Logic Colloquium 2018, Udine, Italy, July 23-28, 2018 |
Ключевые слова |
вычислимый линейный порядок, разреженный линейный порядок, вычислимая категоричность |
Название журнала |
Program and abstracts, Logic Colloquium 2018, Udine, Italy, July 23-28, 2018
|
URL |
https://lc18.uniud.it/data/abstracts.pdf |
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=187111 |
Полная запись метаданных  |
Поле DC |
Значение |
Язык |
dc.contributor.author |
Зубков Максим Витальевич |
ru_RU |
dc.date.accessioned |
2018-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2018-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2018 |
ru_RU |
dc.identifier.citation |
Zubkov M.V. On categoricity of linear orders // Program and abstracts, Logic Colloquium 2018, July 23-28. - Udine, 2018. - P. 154-155. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/?p_id=187111 |
ru_RU |
dc.description.abstract |
Program and abstracts, Logic Colloquium 2018, Udine, Italy, July 23-28, 2018 |
ru_RU |
dc.description.abstract |
Даны оценки уровней категоричности для разреженных линейных порядков конструктивных рангов. |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
вычислимый линейный порядок |
ru_RU |
dc.subject |
разреженный линейный порядок |
ru_RU |
dc.subject |
вычислимая категоричность |
ru_RU |
dc.title |
On categoricity of linear orders |
ru_RU |
dc.type |
Тезисы и материалы конференций в зарубежных журналах и сборниках |
ru_RU |
|