Arithmetic on semigroups

DOI10.2178/JSL/1231082312MaRDI QIDQ3616353zbMATH OpenOpenAlexFDO

Authors Mihai Ganea

Publication date 25 March 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1231082312

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4202380
• Arithmetic of semigroup semirings.
• scientific article; zbMATH DE number 1822380
• Arithmetical semirings
• scientific article; zbMATH DE number 17303
• On numerical semigroups
• On numerical semigroups
• Arithmetic processes in semigroups
• The arithmetic extensions of a numerical semigroup
• scientific article; zbMATH DE number 4099389

Cites work

• Concatenation as a basis for arithmetic
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 5210936 (Why is no real title available?)
• On interpretability in the theory of concatenation
• Undecidability without arithmetization
• Variants of Robinson's essentially undecidable theoryR

Cited in

(20)

• Bi-interpretability of some monoids with the arithmetic and applications
• Deflationism beyond arithmetic
• Weak essentially undecidable theories of concatenation
• Bases for structures and theories. I.
• The scope of Gödel's first incompleteness theorem
• Arithmetic of semigroups of series in multiplicative systems
• Decorated linear order types and the theory of concatenation
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Weak theories of concatenation and arithmetic
• Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
• scientific article; zbMATH DE number 194753 (Why is no real title available?)
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
• scientific article; zbMATH DE number 937384 (Why is no real title available?)
• Relatives of Robinson arithmetic
• Current research on Gödel's incompleteness theorems
• Finding the limit of incompleteness. I
• An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant
• Ontological purity for formal proofs
• A weak theory of building blocks
• On elementary theories of weighted and labelled trees

This page was built for publication: Arithmetic on semigroups

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