DSpace Repository

О Σ01-классификации отношений на вычислимых структурах

Show simple item record

dc.contributor.author Гончаров, Сергей Савостьянович
dc.contributor.author Когабаев, Нурлан Талгатович
dc.date.accessioned 2014-11-13T04:45:36Z
dc.date.available 2014-11-13T04:45:36Z
dc.date.issued 2008
dc.identifier.citation Гончаров С. С., Когабаев Н. Т. О Σ01-классификации отношений на вычислимых структурах // Вестник НГУ. Серия: Математика. 2008. Т. 8. Вып. 4. С. 23–32. ru_RU
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/2713
dc.description.abstract В статье построен пример вычислимой структуры сигнатуры, состоящей из бесконечного числа бинарных предикатных символов, для которой не существует Σ01-классификации всех одноместных отношений, определимых в указанной структуре Σ01-формулами. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.subject вычислимая структура ru_RU
dc.subject Σ01-формула ru_RU
dc.subject Σ01-классификация ru_RU
dc.title О Σ01-классификации отношений на вычислимых структурах ru_RU
dc.title.alternative On Σ01-classification of relations on computable structures ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account