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

Mikhail G. Peretyat’kin

2020

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.33048/semi.2020.17.107
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

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.