The laws of integer divisibility, and solution sets of linear divisibility conditions
van den Dries, L. ; Wilkie, A. J.
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 503- 526 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2003-06-14
Classification:  
@article{1052669061,
     author = {van den Dries, L. and Wilkie, A. J.},
     title = {The laws of integer divisibility, and solution sets of linear divisibility conditions},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 503- 526},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1052669061}
}

van den Dries, L.; Wilkie, A. J. The laws of integer divisibility, and solution sets of linear divisibility conditions. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  503- 526. http://gdmltest.u-ga.fr/item/1052669061/