|
Сибирский математический журнал, 1978, том 19, номер 6, страницы 1349–1356
(Mi smj6341)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Мощность моделей теорий исчисления с квантором Хартига
А. Г. Пинус
Аннотация:
Изучаются вопросы, связанные со спектром теорий исчисления с квантором Хартига. Дается некоторая нижняя граница для числа Ханфа этого исчисления. В ряде частных случаев доказывается аналог теоремы Левенгейма–Сколема–Тарского для этого исчисления. Доказывается, что класс индексов, определимых в этом исчислении кардиналов, замкнут относительно примитивно-рекурсивных ординальных функций.
Библ. 19.
Статья поступила: 03.05.1976
Образец цитирования:
А. Г. Пинус, “Мощность моделей теорий исчисления с квантором Хартига”, Сиб. матем. журн., 19:6 (1978), 1349–1356
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6341 https://www.mathnet.ru/rus/smj/v19/i6/p1349
|
Статистика просмотров: |
Страница аннотации: | 67 | PDF полного текста: | 38 |
|