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

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

2025

Closed access Metadata (CSL-JSON)
DOI 10.4213/mzm14382
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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