Logical characterization of recognizable sets of polynomials over a finite field (Q2909094)

From MaRDI portal





scientific article; zbMATH DE number 6073864
Language Label Description Also known as
English
Logical characterization of recognizable sets of polynomials over a finite field
scientific article; zbMATH DE number 6073864

    Statements

    0 references
    0 references
    29 August 2012
    0 references
    recognizable set
    0 references
    first-order logic
    0 references
    polynomial over a finite field
    0 references
    Cobham's theorem
    0 references
    decidability
    0 references
    first-order theory
    0 references
    Logical characterization of recognizable sets of polynomials over a finite field (English)
    0 references

    Identifiers