|
Алгебра и логика, 2004, том 43, номер 1, страницы 110–124
(Mi al59)
|
|
|
|
Эта публикация цитируется в 25 научных статьях (всего в 25 статьях)
Полные теории с конечным числом счетных моделей. I
С. В. Судоплатов Новосибирский государственный технический университет
Аннотация:
Приводится синтаксическая характеризация класса элементарных полных теорий с конечным числом счетных моделей, которая является аналогом известной теоремы Рыль-Нардзевского о счетно категоричных теориях и основывается на классификации теорий по квазипорядкам Рудина–Кейслера и функциям распределения числа предельных над типами моделей.
Ключевые слова:
элементарная полная теория, счетная модель, квазипорядок Рудина–Кейслера.
Поступило: 24.10.2001 Окончательный вариант: 24.04.2002
Образец цитирования:
С. В. Судоплатов, “Полные теории с конечным числом счетных моделей. I”, Алгебра и логика, 43:1 (2004), 110–124; Algebra and Logic, 43:1 (2004), 62–69
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al59 https://www.mathnet.ru/rus/al/v43/i1/p110
|
|