Relatives of Robinson arithmetic

MaRDI QIDQ4903812zbMATH OpenFDO

Authors Vítězslav Švejdar

Publication date 27 January 2013

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• On interpretability in the theory of concatenation
• Arithmetic on semigroups
• An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant
• Weak theories of concatenation and arithmetic
• Weak essentially undecidable theories of concatenation

Cited in

(7)

• On \(\mathsf{Q}\)
• Weak essentially undecidable theories of concatenation
• Interpretability in Robinson's Q
• Decorated linear order types and the theory of concatenation
• Weak theories of concatenation and arithmetic
• Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
• An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant

This page was built for publication: Relatives of Robinson arithmetic

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