Псевдо-счетно-категоричные формулы и теории

B. Sh. Kulpeshov, In. I. Pavlyuk, Sergey Vladimirovich Sudoplatov

2025

Жабық қол жеткізу Метадеректер (CSL-JSON)
DOI 10.4213/mzm14382
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

Введено понятие псевдо-счетно-категоричной формулы, исследованы синтаксические и семантические возможности таких формул. Изучены аппроксимации теорий с помощью таких формул, включая псевдо-счетно-категоричные упорядоченные теории, теории абелевых групп и модулей, эренфойхтовы теории. Получено описание канонических представителей псевдо-счетно-категоричных упорядоченных теорий. Изучены возможности сохранения и нарушения псевдо-счетной категоричности при обогащениях и обеднениях теорий. Описаны счетные спектры псевдо-счетно-категоричных теорий. Библиография: 22 названия.