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 条

[21] UNIFICATION IN PERMUTATIVE EQUATIONAL THEORIES IS UNDECIDABLE
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 415 - 421
[22] On essentially algebraic theories and their generalizations
Adámek, J
Hébert, M
Rosicky, J
ALGEBRA UNIVERSALIS, 1999, 41 (03) : 213 - 227
[23] Mechanistic Theories of Causality Part II
Williamson, Jon
PHILOSOPHY COMPASS, 2011, 6 (06): : 433 - 444
[24] Ancient Theories of Pathology (Part II)
China Today, 2011, (04) : 68 - 69
[25] The strength of extensionality II - Weak weak set theories without infinity
Sato, Kentaro
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (08) : 579 - 646
[26] UNDECIDABLE THEORIES OF VALUATED ABELIAN-GROUPS
SCHMITT, PH
BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1984, 112 (03): : 67 - 76
[27] The Satisfiability of Word Equations: Decidable and Undecidable Theories
Day, Joel D.
Ganesh, Vijay
He, Paul
Manea, Florin
Nowotka, Dirk
REACHABILITY PROBLEMS (RP 2018), 2018, 11123 : 15 - 29
[28] ITERATED DISCRIMINATOR VARIETIES HAVE UNDECIDABLE THEORIES
BURRIS, S
ALGEBRA UNIVERSALIS, 1985, 21 (01) : 54 - 61
[29] UNDECIDABLE LT THEORIES OF TOPOLOGICAL ABELIAN-GROUPS
CHERLIN, GL
SCHMITT, PH
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (04) : 761 - 772
[30] FURTHER EXTENDED THEORIES OF GRAVITATION: PART II
Fatibene, L.
Ferraris, M.
Francaviglia, M.
Mercadante, S.
INTERNATIONAL JOURNAL OF GEOMETRIC METHODS IN MODERN PHYSICS, 2010, 7 (05) : 899 - 906

← 1 2 3 4 5 →