Arith / CONCEPT
The Unique Positive Rational Price
The unrestricted real-law optimum is positive rational and is the unique real zero of the triangular root value.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH3
DOCUMENT LINKS0
Every attaining real law has this embedding
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
- Complementary Dyadic Second Supportstructural-affinity · Closed
- First completion and the full stopped-word lawstructural-affinity · Closed
- Radix Floor Digitsstructural-affinity · Closed
- Reduced Triangular Pathsstructural-affinity · Closed
- Shared Triangular Slot Implementationstructural-affinity · Closed
- Strict Dyadic Rounding of Optimal Lawsstructural-affinity · Closed
- Strict Growth of the Optimal Real-law Slopestructural-affinity · Closed
- Triangular First-Split Valuesstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance