- Details
- Category: Uncategorised
- Hits: 12
This site is the public face of the EB carrier-set theorem — a structural axiomatic result identifying a unique algebra over expressed-value/bound pairs that satisfies six carrier axioms. Working manuscript, deposited proofs, and a long-form treatment are in development. Source code lives at github.com/aybllc.