No CrossRef data available.
Article contents
The laws of integer divisibility, and solution sets of linear divisibility conditions
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003