Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
scientific article

    Statements

    Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (English)
    0 references
    0 references
    0 references
    15 December 2014
    0 references
    theory of concatenation
    0 references
    monadic second-order theory of two successors
    0 references
    minimal essentially undecidable theory
    0 references
    interpretability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references