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

Cached

Download Links

by Benno Van Den Berg , Federico De
Venue:J. Symbolic Logic
Citations:4 - 3 self

Document Versions

Models of non-well-founded sets via an indexed final coalgebra theorem –Benno Van Den Berg, Federico De — J. Symbolic Logic