On Lattices of Regular Sets of Natural Integers Closed under Decrementation

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.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00870130
Contributor : Irene Guessarian <>
Submitted on : Saturday, October 5, 2013 - 1:32:55 PM
Last modification on : Friday, January 4, 2019 - 5:32:57 PM

Links full text

Identifiers

Collections

Citation

Patrick Cegielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. 2013. ⟨hal-00870130⟩

Share

Metrics

Record views

123