On Lattices of Regular Sets of Natural Integers Closed under Decrementation
classification
💻 cs.DM
math.CO
keywords
closedsetsunderintegerslatticesregulararithmeticconsider
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.