Pages that link to "Item:Q1337508"
From MaRDI portal
The following pages link to Non-well-founded sets via revision rules (Q1337508):
Displaying 6 items.
- What's in a function? (Q1293042) (← links)
- On non-wellfounded sets as fixed points of substitutions (Q1409302) (← links)
- (Q3204456) (← links)
- Extensional quotients for type theory and the consistency problem for NF (Q4391434) (← links)
- Free set algebras satisfying systems of equations (Q4948534) (← links)
- Guest editors' introduction (Q5920212) (← links)