Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
monadic second-order theory of two successors
scientific article; zbMATH DE number 6380534
scientific article