A logical characterization of the counting hierarchy (Q5277825)

From MaRDI portal
scientific article; zbMATH DE number 6744076
Language Label Description Also known as
English
A logical characterization of the counting hierarchy
scientific article; zbMATH DE number 6744076

    Statements

    A logical characterization of the counting hierarchy (English)
    0 references
    0 references
    12 July 2017
    0 references
    counting hierarchy
    0 references
    majority quantifiers
    0 references
    quantifier elimination
    0 references
    0-1 law
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references