DSpace Repository

О конструктивных моделях теорий с линейным порядком Рудина-Кейслера

Show simple item record

dc.contributor.author Гаврюшкин, Александр Николаевич
dc.date.accessioned 2014-10-21T06:58:13Z
dc.date.available 2014-10-21T06:58:13Z
dc.date.issued 2009
dc.identifier.citation Гаврюшкин А.Н. О конструктивных моделях теорий с линейным порядком Рудина-Кейслера // Вестник НГУ. Серия: Математика. 2009. Т.9. Вып.2. С. 30–37. ru_RU
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/1909
dc.description.abstract Судоплатовым была получена синтаксическая характеризация класса эренфойхтовых теорий. Было доказано, что в качестве параметров, задающих любую эренфойхтову теорию, можно взять конечный предпорядок (предпорядок Рудина–Кейслера) и функцию, действующую из этого предпорядка в множество натуральных чисел. Одним из основных результатов данной работы является следующий. Для всех 1<=n, принадлежащих ω, существует эренфойхтова теория Tn, все квази-простые модели теории Tn не конструктивизируемы, существует конструктивизируемая модель теории Tn. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.subject эренфойхтова теория ru_RU
dc.subject предпорядок Рудина–Кейслера ru_RU
dc.subject разрешимая теория ru_RU
dc.subject разрешимая модель ru_RU
dc.subject конструктивная модель ru_RU
dc.title О конструктивных моделях теорий с линейным порядком Рудина-Кейслера ru_RU
dc.title.alternative On constructive models of theories with linear Rudin–Keisler ordering 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