Non-Well-Founded Sets¶
Aczel, P. (1988). Non-Well-Founded Sets.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Well-Foundedness (Well-Ordering)
- In philosophy, organizational structures, economics, and game theory, the foundation axiom prohibits ungrounded structures in set theory; non-well-founded set theories — Aczel (1988) introduced the anti-foundation axiom AFA — relax this for modelling circularity; first-cause arguments in philosophy of religion invoke well-foundedness of causation; finite appeals chains guarantee legal finality; non-circular governance structures ensure terminating authority; well-founded preference orderings in decision theory support consumer choice; backward induction in finite-horizon games uses well-foundedness on horizon length; subgame-perfect equilibrium is defined via backward induction; procurement-approval workflows, code-review chains, and change-management processes all depend implicitly on well-foundedness for guaranteed completion.
This sourceCSLI Lecture Notes 14. Stanford: CSLI Publications. Introduces the anti-foundation axiom AFA for modelling circular and self-referential structures.
- In philosophy, organizational structures, economics, and game theory, the foundation axiom prohibits ungrounded structures in set theory; non-well-founded set theories — Aczel (1988) introduced the anti-foundation axiom AFA — relax this for modelling circularity; first-cause arguments in philosophy of religion invoke well-foundedness of causation; finite appeals chains guarantee legal finality; non-circular governance structures ensure terminating authority; well-founded preference orderings in decision theory support consumer choice; backward induction in finite-horizon games uses well-foundedness on horizon length; subgame-perfect equilibrium is defined via backward induction; procurement-approval workflows, code-review chains, and change-management processes all depend implicitly on well-foundedness for guaranteed completion.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:543cff3d2e5a · see in the full table