MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY

DOI10.1017/bsl.2017.30zbMath1421.03027arXiv1707.03531OpenAlexW2963869270MaRDI QIDQ4640303

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

string theoryextensionalityinterpretabilityconcatenationRobinson arithmeticadjunctive set theoryfinitary set theorypredicative set theory

Mathematics Subject Classification ID

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

Related Items (6)

MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES ⋮ Internal categoricity, truth and determinacy ⋮ TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES ⋮ The enhanced indispensability argument, the circularity problem, and the interpretability strategy ⋮ Weak sequential theories of finite full binary trees ⋮ On interpretability between some weak essentially undecidable theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pairs, sets and sequences in first-order theories
• Growing commas. A study of sequentiality and concatenation
• On interpretability in the theory of concatenation
• Finitary set theory
• A minimal predicative set theory
• Undecidability without arithmetization
• On the interpretability of arithmetic in set theory
• Undecidable theories
• Interpretability in Robinson's Q
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• Arithmetic on semigroups
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Concatenation as a basis for arithmetic

This page was built for publication: MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY