The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable (Q6194082)

From MaRDI portal
scientific article; zbMATH DE number 7804914
Language Label Description Also known as
English
The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable
scientific article; zbMATH DE number 7804914

    Statements

    The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable (English)
    0 references
    0 references
    0 references
    14 February 2024
    0 references
    positive formula
    0 references
    positive theory
    0 references
    group
    0 references
    algorithmic solvability
    0 references

    Identifiers