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
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