UNIFORMLY EXTERNALLY DEFINABLE EXPANSION

Herald of Kazakh-British technical university, 2025

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.55452/1998-6688-2025-22-4-306-312
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

In this article, we study the expansion of a structure by adding a new predicate that is not definable by any formula in the original language. To consider an externally definable expansion, we define the extension of a model in both essential and non-essential case. Such expansions can lead to significant changes in the properties of the resulting structure. We focus on the case of externally definable expansions, where the new relation is given by the intersection of a formula defined in an elementary extension with the original structure. The concept of a uniformly externally definable expansion was first introduced by Macpherson, Marker, and Steinhorn in the context of expansions by cuts in submodels of o-minimal structures over the real numbers. Subsequently, Baizhanov demonstrated that expanding a model of a weakly o-minimal theory by a family of convex sets preserves both weak o-minimality and uniform external definability. We establish conditions for external expansions under which the key properties of the original structure are preserved.