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

L. Van Den Dries, A. J. Wilkie

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)503-526
Number of pages24
JournalJournal of Symbolic Logic
Volume68
Issue number2
DOIs
StatePublished - Jun 2003

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'The laws of integer divisibility, and solution sets of linear divisibility conditions'. Together they form a unique fingerprint.

  • Cite this