Fixpoints, games and the difference hierarchy (Q4462675): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 05:21, 7 February 2024

scientific article; zbMATH DE number 2066223
Language Label Description Also known as
English
Fixpoints, games and the difference hierarchy
scientific article; zbMATH DE number 2066223

    Statements

    Fixpoints, games and the difference hierarchy (English)
    0 references
    0 references
    18 May 2004
    0 references
    Gale-Steward games
    0 references
    mu-arithmetic
    0 references
    parity games
    0 references
    modal mu-calculus
    0 references
    arithmetic fixpoint definable sets
    0 references
    difference hierarchy
    0 references
    fixpoint hierarchy
    0 references
    game quantifier
    0 references
    descriptive set theory
    0 references
    transfinite fixpoint hierarchies
    0 references

    Identifiers

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