## Models of non-well-founded sets via an indexed final coalgebra theorem

by
Benno Van Den Berg
,
Federico De

Venue: | J. Symbolic Logic |

Citations: | 4 - 3 self |