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 条
  • [41] OLD AND NEW THEORIES OF ECONOMIC GROWTH (II Part)
    Popovic, Milenko
    MONTENEGRIN JOURNAL OF ECONOMICS, 2006, 2 (03) : 173 - 190
  • [42] How many essentially different function theories exist?
    Kisil, VV
    CLIFFORD ALGEBRAS AND THEIR APPLICATION IN MATHEMATICAL PHYSICS, 1998, 94 : 175 - 184
  • [43] y Exploring improved holographic theories for QCD:: part II
    Guersoy, U.
    Kiritsis, E.
    Nitti, F.
    JOURNAL OF HIGH ENERGY PHYSICS, 2008, (02):
  • [44] Probing bad theories with the dualization algorithm. Part II
    Giacomelli, Simone
    Hwang, Chiung
    Marino, Fabio
    Pasquetti, Sara
    Sacchi, Matteo
    JOURNAL OF HIGH ENERGY PHYSICS, 2024, (07):
  • [45] Presupposition Projection: Two Theories of Local Contexts Part II
    Schlenker, Philippe
    LANGUAGE AND LINGUISTICS COMPASS, 2011, 5 (12):
  • [46] Care Ethics: New Theories and Applications-Part II
    Koggel, Christine
    Orme, Joan
    ETHICS & SOCIAL WELFARE, 2011, 5 (02): : 107 - 109
  • [47] An Algebraic Roadmap of Particle Theories Part II: Theoretical Checkpoints
    Furey, Nichol
    ANNALEN DER PHYSIK, 2025, 537 (04)
  • [48] Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
    Raatikainen, P
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (01) : 262 - 266
  • [49] Mechanism for suppression of chaos by weak resonant perturbations: Part II
    Inaba, N
    Tamura, T
    IECON 2000: 26TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4: 21ST CENTURY TECHNOLOGIES AND INDUSTRIAL OPPORTUNITIES, 2000, : 2054 - 2057
  • [50] ALCOHOL ADDICTION IN THE VIEW OF PSYCHODYNAMIC THEORIES. PART II. REVIEW OF CONTEMPORARY THEORIES
    Wojtynkiewicz, Ewa
    PSYCHOTERAPIA, 2018, (01): : 41 - 50
12345