Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10331856 | Information Processing Letters | 2014 | 6 Pages |
Abstract
We consider lattices of regular sets of non negative integers, i.e. of sets definable in Presburger arithmetic. We prove that if such a lattice is closed under decrement then it is also closed under many other functions: quotients by an integer, roots, etc. We characterize the family of such functions.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Patrick Cégielski, Serge Grigorieff, Irène Guessarian,