The laws of integer divisibility, and solution sets of linear divisibility conditions

A. J. Wilkie; L. van den Dries

doi:10.2178/jsl/1052669061

Abstract

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.

Citation Download Citation

A. J. Wilkie and L. van den Dries "The laws of integer divisibility, and solution sets of linear divisibility conditions," Journal of Symbolic Logic 68(2), 503-526, (June 2003). https://doi.org/10.2178/jsl/1052669061

Published: June 2003

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS