Non-Well-Founded Sets¶
Aczel, P. (1988). Non-Well-Founded Sets.
Cited by¶
2 citations across 2 artifacts.
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.
Domain-specific¶
Verification¶
Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:543cff3d2e5a · see in the full table