Pages that link to "Item:Q757360"
From MaRDI portal
The following pages link to Non-well-founded sets modeled as ideal fixed points (Q757360):
Displayed 10 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Hypersets (Q1181863) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Coalgebraic logic (Q1295427) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- Free set algebras satisfying systems of equations (Q4948534) (← links)