On Lattices of Regular Sets of Natural Integers Closed under Decrementation
Discrete Mathematics
2013-10-07 v1 Combinatorics
Abstract
We consider lattices of regular sets of non negative integers, i.e. of sets definable in Presbuger 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.
Keywords
Cite
@article{arxiv.1310.1378,
title = {On Lattices of Regular Sets of Natural Integers Closed under Decrementation},
author = {Patrick Cégielski and Serge Grigorieff and Irène Guessarian},
journal= {arXiv preprint arXiv:1310.1378},
year = {2013}
}