On interpretability between some weak essentially undecidable theories
type: Item
instance of: scholarly article
title: On interpretability between some weak essentially undecidable theories
DOI: 10.1007/978-3-030-51466-2_6
author: Lars Kristiansen
author: Juvenal Murwanashyaka
publication date: 2022-12-16T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7633497
MaRDI profile type: Publication
full work available at URL: 978-3-030-51466-2 6
OpenAlex ID: W3037622231
cites work: FINDING THE LIMIT OF INCOMPLETENESS I
cites work: MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
cites work: Q3509164
cites work: Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
cites work: Recursive functions and existentially closed structures
cites work: Variants of Robinson's essentially undecidable theoryR
cites work: First-order concatenation theory with bounded quantifiers
cites work: Q5445176
cites work: Undecidable theories
cites work: Growing commas. A study of sequentiality and concatenation
cites work: Q3464615
description: scientific article; zbMATH DE number 7633497