ConceptDynamics / CONCEPT
Gain Difference Cocycle
Five heterogeneous additive gain coordinates telescope exactly.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
Gain differences have zero self-value and a three-point cocycle
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Adjudication Stop Target Correctnessstructural-affinity · Closed
- Decidable Symmetric Pareto Kernelstructural-affinity · Closed
- Decidable Weak Pareto Order on the Finite Quotientstructural-affinity · Closed
- Explicit Finite Pareto Quotientstructural-affinity · Closed
- Pareto Frontier Does Not Determine Stopstructural-affinity · Closed
- Pareto Weak Dominance Preorderstructural-affinity · Closed
- Settle Stop Input Conservationstructural-affinity · Closed
- Symmetric Pareto Kernel and Vector Equalitystructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance