Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
type: Item
instance of: scholarly article
title: Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
zbMATH Open document ID: 1339.03054
author: Kojiro Higuchi
author: Yoshihiro Horihata
published in: Archive for Mathematical Logic
publication date: 2014-12-15T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 6380534
zbMATH Keywords: theory of concatenation
zbMATH Keywords: monadic second-order theory of two successors
zbMATH Keywords: minimal essentially undecidable theory
zbMATH Keywords: interpretability
MaRDI profile type: Publication
full work available at URL: s00153-014-0391-x
OpenAlex ID: W1730786771
cites work: Growing commas. A study of sequentiality and concatenation
cites work: Arithmetic on semigroups
cites work: Undecidability without arithmetization
cites work: Q3509164
cites work: Decidability without mathematics
cites work: Weak theories of concatenation and arithmetic
cites work: Variants of Robinson's essentially undecidable theoryR
cites work: Concatenation as a basis for arithmetic
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q4193434
cites work: On interpretability in the theory of concatenation
cites work: Undecidable theories
cites work: Q4530611
cites work: Q5567863
cites work: Q4215610
DOI: 10.1007/S00153-014-0391-X
Recommended article: Weak essentially undecidable theories of concatenation
Recommended article: Weak theories of concatenation and arithmetic
Recommended article: Separations of theories in weak bounded arithmetic
Recommended article: Proof-theoretic conservations of weak weak intuitionistic constructive set theories
Recommended article: On interpretability between some weak essentially undecidable theories
Recommended article: About the proof-theoretic ordinals of weak fixed point theories
Recommended article: Weak completeness in \(\text{E}\) and \(\text{E}_{2}\)
Recommended article: Fundamentals of Computation Theory
Recommended article: Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
Recommended article: The Property of Being Binary for ℵ0-Categorical Weakly o-Minimal Theories
description: scientific article; zbMATH DE number 6380534