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.
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.
This is a preview placeholder. The full corpus and supporting material is in active development and will appear here as it clears verification.