Logical Theory of the Additive Monoid of Subsets of Natural Integers

  • Christian Choffrut
  • Serge Grigorieff
Part of the Emergence, Complexity and Computation book series (ECC, volume 12)


We consider the logical theory of the monoid of subsets of ℕ endowed solely with addition lifted to sets: no other set theoretical predicate or function, no constant (contrarily to previous work by J̇ez and Okhotin cited below). We prove that the class of true Σ5 formulas is undecidable and that the whole theory is recursively isomorphic to second-order arithmetic. Also, each ultimately periodic set A (viewed as a predicate X = A) is Π4 definable and their collection is Σ6. Though these undecidability results are not surprising, they involve technical difficulties witnessed by the following facts: 1) no elementary predicate or operation on sets (inclusion, union, intersection, complementation, adjunction of 0) is definable, 2) The class of subsemigroups is not definable though that of submonoids is easily definable. To get our results, we code integers by a Π3 definable class of submonoids and arithmetic operations on ℕ by Δ5 operations on this class.


Minimum Generate Order Theory Logical Theory Great Common Divisor Numerical Semigroup 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Choffrut, C., Grigorieff, S.: Logical theory of the monoid of languages over a non tally alphabet (in preparation)Google Scholar
  2. 2.
    Cohn, L.: On the submonoids of the additive group of integers,
  3. 3.
    Fischer, M.J., Rabin, M.O.: Super-exponential complexity of presburger arithmetic. In: SIAM-AMS Symposium in Applied Mathematics, vol. 7, pp. 27–41 (1974)Google Scholar
  4. 4.
    García-Sánchez, P.A.: Numerical semigroups minicourse,
  5. 5.
    Ginsburg, S., Spanier, E.H.: Semigroups, Presburger formulas, and languages. Pacific J. Math. 16, 285–296 (1966)CrossRefzbMATHMathSciNetGoogle Scholar
  6. 6.
    J̇ez, A., Okhotin, A.: Equations over sets of natural numbers with addition only. In: STACS, pp. 577–588 (2009)Google Scholar
  7. 7.
    Odifreddi, P.: Classical recursion theory. The theory of functions and sets of natural integers, vol. 1. North Holland (1989)Google Scholar
  8. 8.
    Ramaré, O.: On Shnirelman’s constant 22(4), 645–706 (1995)Google Scholar
  9. 9.
    Ramírez-Alfonsín, J.L.: The Diophantine Frobenius Problem. Oxford University Press (2005)Google Scholar
  10. 10.
    Rogers, H.: Theory of recursive functions and effective computability. McGraw Hill (1967)Google Scholar
  11. 11.
    Rosales, J.C., García-Sánchez, P.A.: Numerical semigroups. Developments in Mathematics, vol. 20. Springer (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Christian Choffrut
    • 1
  • Serge Grigorieff
    • 1
  1. 1.LIAFACNRS and Université Paris 7 Denis DiderotParisFrance

Personalised recommendations