MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
From MaRDI portal
(Redirected from Publication:5052004)
Recommendations
- On interpretability between some weak essentially undecidable theories
- Weak essentially undecidable theories of concatenation
- Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
- Weak essentially undecidable theories of concatenation. II.
- Weak theories of concatenation and arithmetic
Cites work
- Concatenation as a basis for arithmetic
- Growing commas. A study of sequentiality and concatenation
- Interpretability in Robinson's Q
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
- On interpretability between some weak essentially undecidable theories
- Undecidable theories
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Why the theory R is special
Cited in
(9)- BI-INTERPRETATION IN WEAK SET THEORIES
- Weak sequential theories of finite full binary trees
- A weak theory of building blocks
- A weak first-order theory of sequences
- On elementary theories of weighted and labelled trees
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Mutual Interpretability of Weak Essentially Undecidable Theories
- scientific article; zbMATH DE number 5233159 (Why is no real title available?)
This page was built for publication: MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5052004)
