Weak essentially undecidable theories of concatenation, part II

被引：0

作者：

Murwanashyaka, Juvenal ^{[1
]}

机构：

[1] Univ Oslo, Dept Math, Oslo, Norway

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2024年 / 63卷 / 3-4期

关键词：

Theory of concatenation; First-order arithmetic; Interpretability;

D O I：

10.1007/s00153-023-00898-y

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that we can interpret concatenation theories in arithmetical theories without coding sequences by identifying binary strings with 2 x 2 matrices with determinant

引用

页码：353 / 390

页数：38

共 50 条

[1] Weak essentially undecidable theories of concatenation, part II
Juvenal Murwanashyaka
Archive for Mathematical Logic, 2024, 63 : 353 - 390
[2] Weak essentially undecidable theories of concatenation
Murwanashyaka, Juvenal
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (7-8) : 939 - 976
[3] Weak essentially undecidable theories of concatenation
Juvenal Murwanashyaka
Archive for Mathematical Logic, 2022, 61 : 939 - 976
[4] Weak theories of concatenation and minimal essentially undecidable theories
Higuchi, Kojiro
Horihata, Yoshihiro
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8): : 835 - 853
[5] MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
Damnjanovic, Zlatan
JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1374 - 1395
[6] On Interpretability Between Some Weak Essentially Undecidable Theories
Kristiansen, Lars
Murwanashyaka, Juvenal
BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 63 - 74
[7] There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal
Pakhomov, Fedor
Visser, Albert
JOURNAL OF LOGIC AND COMPUTATION, 2023, 34 (06) : 1159 - 1171
[8] Weak Theories of Concatenation and Arithmetic
Horihata, Yoshihiro
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (02) : 203 - 222
[9] ON ALGEBRAS WHOSE EQUATIONAL THEORIES ARE ESSENTIALLY BASE-UNDECIDABLE - PRELIMINARY REPORT
MCNULTY, G
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (04): : 675 - &
[10] UNDECIDABLE THEORIES - TARSKI,A
BERNAYS, P
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1959, 9 (36): : 321 - 327

← 1 2 3 4 5 →