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

DOI10.2178/jsl/1191333841zbMath1124.03049arXivmath/0508531OpenAlexW2159694780MaRDI QIDQ5422303

Federico De Marchi, Benno van den Berg

Publication date: 17 October 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0508531

zbMATH Keywords

indexed categoriesanti-foundation axiomnon-well-founded setsHeyting pretoposfinal coalgebra theorempower-class functor

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Special properties of functors (faithful, full, etc.) (18A22)

Related Items (6)

Relating Coalgebraic Notions of Bisimulation ⋮ Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ Non-well-founded trees in categories ⋮ Comparing material and structural set theories ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ W-types in homotopy type theory

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive set theory

This page was built for publication: Models of non-well-founded sets via an indexed final coalgebra theorem