On lattices of regular sets of natural integers closed under decrementation

ما شبکه هایی از مجموعه های منظم عدد صحیح غیر منفی را می بینیم، یعنی مجموعه هایی که قابل تعریف در حساب رگرسیون است. ما ثابت می کنیم که اگر چنین شبکه ای تحت کاهش است، آن را نیز تحت بسیاری از توابع دیگر بسته: تقسیم شده توسط عدد صحیح، ریشه و غیره. ما خانواده از چنین توابع را مشخص می کنیم.