|
Алгебра и логика, 2014, том 53, номер 2, страницы 271–281
(Mi al634)
|
|
|
|
Вычисление и мажорирование функции Рылль-Нардзевского
У. Эндрюсa, Э. М. Качb a Dep. Math., Univ. Wisconsin, Madison, WI 53706-1388, USA
b Chicago, IL, USA
Аннотация:
Для счётно категоричной теории $\mathrm T$ рассматривается вопросы, связанные со сложностью как функции, вычисляющей число $n$-типов, совместимых с $\mathrm T$, так и её мажорирующих функций.
Ключевые слова:
счётно категоричная теория, функция Рылль-Нардзевского, сложность функции.
Поступило: 20.03.2013
Образец цитирования:
У. Эндрюс, Э. М. Кач, “Вычисление и мажорирование функции Рылль-Нардзевского”, Алгебра и логика, 53:2 (2014), 271–281; Algebra and Logic, 53:2 (2014), 176–183
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al634 https://www.mathnet.ru/rus/al/v53/i2/p271
|
|