MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES

DOI10.1017/JSL.2022.15MaRDI QIDQ5052004zbMATH OpenOpenAlexFDO

Authors Zlatan Damnjanovic

Publication date 18 November 2022

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

Full work available at URL https://arxiv.org/abs/2104.07202

zbMATH Keywords

interpretabilitystringsRobinson arithmeticessential undecidabilityconcatenation theoryfull binary trees

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

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

(7)

• BI-INTERPRETATION IN WEAK SET THEORIES
• Weak sequential theories of finite full binary trees
• A weak theory of building blocks
• 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)