Pages that link to "Item:Q1337508"

The following pages link to Non-well-founded sets via revision rules (Q1337508):

Displayed 4 items.

• What's in a function? (Q1293042) ‎ (← 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)