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.
Keywords :
Type de document :
Pré-publication, Document de travail
2013

https://hal.archives-ouvertes.fr/hal-00870130
Contributeur : Irene Guessarian <>
Soumis le : samedi 5 octobre 2013 - 13:32:55
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56

Citation

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

Métriques

Consultations de la notice