Algebraic methods and bounded formulas (Q1377552)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic methods and bounded formulas
scientific article

    Statements

    Algebraic methods and bounded formulas (English)
    0 references
    0 references
    14 June 1998
    0 references
    expressive power of bounded formulas in second-order arithmetic
    0 references
    second-order formulas
    0 references
    finite models
    0 references
    Boolean circuit complexity
    0 references

    Identifiers