Generalized o-minimality for partial orders

2013

Closed access Metadata (CSL-JSON)
DOI 10.3103/s1055134413010045
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

We consider partially ordered models. We introduce the notions of a weakly (quasi-)p.o.-minimal model and a weakly (quasi-)p.o.-minimal theory. We prove that weakly quasi-p.o.-minimal theories of finite width lack the independence property, weakly p.o.-minimal directed groups are Abelian and divisible, weakly quasi-p.o.-minimal directed groups with unique roots are Abelian, and the direct product of a finite family of weakly p.o.-minimal models is a weakly p.o.-minimal model. We obtain results on existence of small extensions of models of weakly quasi-p.o.-minimal atomic theories. In particular, for such a theory of finite length, we find an upper estimate of the Hanf number for omitting a family of pure types. We also find an upper bound for the cardinalities of weakly quasi-p.o.-minimal absolutely homogeneous models of moderate width.