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

Federico De Marchi, Benno van den Berg. Models of non-well-founded sets via an indexed final coalgebra theorem. Journal of Symbolic Logic, 72(3):767-791, 2007. [doi]

Abstract

Abstract is missing.