Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Starchak, Mikhail R.
2021.
Positive Existential Definability with Unit, Addition and Coprimeness.
p.
353.
Published online by Cambridge University Press: 12 March 2014
We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.