Models of non-well-founded sets via an indexed final coalgebra theorem (Q5422303)

From MaRDI portal
scientific article; zbMATH DE number 5201540
Language Label Description Also known as
English
Models of non-well-founded sets via an indexed final coalgebra theorem
scientific article; zbMATH DE number 5201540

    Statements

    Models of non-well-founded sets via an indexed final coalgebra theorem (English)
    0 references
    0 references
    0 references
    17 October 2007
    0 references
    final coalgebra theorem
    0 references
    Heyting pretopos
    0 references
    non-well-founded sets
    0 references
    anti-foundation axiom
    0 references
    power-class functor
    0 references
    indexed categories
    0 references
    0 references
    0 references

    Identifiers

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