All preferences are stored on your device.
2023
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.
Roughly speaking, an ordered structure $$(M,<,\dots)$$ is o-stable if any cut in $$M$$ has a few extensions up to complete 1-types over $$M$$ . A theory is o-stable if all its models are. O-stability is a generalization of (weak) o-minimality and quasi-o-minimality by using the notion of a stable theory. In the paper, we prove that no proper (essential) expansion of the ordered group of integers $$(\mathbb{Z},<,+)$$ has an o-stable theory.