Logical Theory of the Additive Monoid of Subsets of Natural Integers

DOI10.1007/978-3-319-09039-9_2zbMath1433.03115OpenAlexW2221762496MaRDI QIDQ4982989

Serge Grigorieff, Christian Choffrut

Publication date: 14 April 2015

Published in: Automata, Universality, Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09039-9_2

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Second- and higher-order arithmetic and fragments (03F35) Semigroups (20M99)

Related Items (1)

Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations

Cites Work

• Numerical semigroups.
• Classical recursion theory. The theory of functions and sets of natural numbers
• Semigroups, Presburger formulas, and languages
• Logical Theory of the Monoid of Languages over a Non Tally Alphabet
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical Theory of the Additive Monoid of Subsets of Natural Integers