Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality

DOI10.1017/BSL.2017.30MaRDI QIDQ4640303zbMATH OpenOpenAlexFDO

Authors Zlatan Damnjanovic

Publication date 17 May 2018

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

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

zbMATH Keywords

adjunctive set theoryconcatenationextensionalityfinitary set theoryinterpretabilitypredicative set theoryRobinson arithmeticstring theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Abstract: An elementary rheory of concatenation is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory, the quantifier-free part of Kirby's finitary set theory, and Adjunctive Set Theory, with or without extensionality.

Recommendations

• Arithmetic on semigroups
• Weak theories of concatenation and arithmetic
• Relatives of Robinson arithmetic
• Weak essentially undecidable theories of concatenation
• On interpretability in the theory of concatenation

Cites work

• A lattice of chapters of mathematics (interpretations between theorems [theories])
• A minimal predicative set theory
• Arithmetic on semigroups
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Concatenation as a basis for arithmetic
• Finitary set theory
• Growing commas. A study of sequentiality and concatenation
• scientific article; zbMATH DE number 5295812 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 2212008 (Why is no real title available?)
• Interpretability in Robinson's Q
• On interpretability in the theory of concatenation
• On the interpretability of arithmetic in set theory
• Pairs, sets and sequences in first-order theories
• Undecidability without arithmetization
• Undecidable theories

Cited in

(10)

• A minimal predicative set theory
• Weak sequential theories of finite full binary trees
• On interpretability between some weak essentially undecidable theories
• The enhanced indispensability argument, the circularity problem, and the interpretability strategy
• MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
• Internal categoricity, truth and determinacy
• TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
• On elementary theories of weighted and labelled trees
• Intuitionistic sets and numbers: small set theory and Heyting arithmetic
• A weak first-order theory of sequences

This page was built for publication: Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality

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