Logical Theory of the Additive Monoid of Subsets of Natural Integers

DOI10.1007/978-3-319-09039-9_2MaRDI QIDQ4982989zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Decidability of extended theories of addition of the natural numbers and the integers
• scientific article; zbMATH DE number 1315256
• scientific article; zbMATH DE number 1315254
• Monadic logic and Löwenheim numbers
• The structure theory of set addition revisited
• Addition operations on the multiplicative monoid of integers
• Logic and p-recognizable sets of integers
• The provability of certain sequents in additive arithmetic
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• Monoids, Boolean algebras, materially ordered sets

Cites work

• Classical recursion theory. The theory of functions and sets of natural numbers
• Equations over sets of natural numbers with addition only
• scientific article; zbMATH DE number 3501006 (Why is no real title available?)
• scientific article; zbMATH DE number 871718 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 2229032 (Why is no real title available?)
• Logical theory of the monoid of languages over a non tally alphabet
• Numerical semigroups.
• Semigroups, Presburger formulas, and languages

Cited in

(4)

• Bi-interpretability of some monoids with the arithmetic and applications
• Addition operations on the multiplicative monoid of integers
• Logical theory of the monoid of languages over a non tally alphabet
• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982989)