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 条

[31] On theories of linear differential equations - Part II
Hilb, E
MATHEMATISCHE ZEITSCHRIFT, 1922, 15 : 280 - 285
[32] UNDECIDABLE FIRST-ORDER THEORIES OF AFFINE GEOMETRIES
Kuusisto, Antti
Meyers, Jeremy
Virtema, Jonni
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
[33] Undecidable existential theories of polynomial rings and function fields
Pheidas, T
Zahidi, K
COMMUNICATIONS IN ALGEBRA, 1999, 27 (10) : 4993 - 5010
[34] Rigidification of Algebras Over Essentially Algebraic Theories
Rosicky, J.
APPLIED CATEGORICAL STRUCTURES, 2015, 23 (02) : 159 - 175
[35] Rigidification of Algebras Over Essentially Algebraic Theories
J. Rosický
Applied Categorical Structures, 2015, 23 : 159 - 175
[36] Decidable and undecidable prime theories in infinite-valued logic
Mundici, D
Panti, G
ANNALS OF PURE AND APPLIED LOGIC, 2001, 108 (1-3) : 269 - 278
[37] On the Helmholtz theories of the struck string - Part II Experimental
George, WH
PHILOSOPHICAL MAGAZINE, 1924, 48 (283): : 34 - 43
[38] Spurious states in extended RPA theories, part II
M. Tohyama
P. Schuck
The European Physical Journal A, 2007, 32 : 139 - 147
[39] Statistical and computational theories of vision: Part II - Introduction
Yuille, AL
Zhu, SC
Mumford, D
INTERNATIONAL JOURNAL OF COMPUTER VISION, 2001, 41 (1-2) : 7 - 7
[40] Spurious states in extended RPA theories, part II
Tohyama, M.
Schuck, P.
EUROPEAN PHYSICAL JOURNAL A, 2007, 32 (02): : 139 - 147

← 1 2 3 4 5 →