The property of being a model complete theory is preserved by Cartesian extensions

Mikhail G. Peretyat’kin

2020

Толық мәтін Ашық қол жеткізу: Gold Метадеректер (CSL-JSON)
DOI 10.33048/semi.2020.17.107
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

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

Аңдатпа

Cartesian-quotient extensions of theories constitute a most common class of nitary transformation methods for rst-order combinatorics.In this paper, some technical properties of classes of algebraic Cartesian and algebraic Cartesian-quotient interpretations of theories are studied.It is established that any algebraic Cartesian interpretation preserves the property of being a model complete theory; besides, an example of an algebraic Cartesian-quotient interpretation of theories is given, which does not preserve the model-completeness property.