Arith / CONCEPT
The complete original endpoint tail has a matching upper scale
Weighted-price control and an explicit square-root logarithmic bound for the complete original endpoint tail.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH16
DOCUMENT LINKS0
An explicit upper bound on the square-root logarithmic scale
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
- Fixed-Layer Rigidity of Actual Price Recordsstructural-affinity · Closed
- Original endpoint first-layer bandsstructural-affinity · Closed
- Original endpoint prime tailsstructural-affinity · Closed
- Prime Structure of Actual Price Recordsstructural-affinity · Closed
- Prime-Power Envelope of Actual Price Recordsstructural-affinity · Closed
- Repeated Prime Euler Tailsstructural-affinity · Closed
- Simultaneous Prime Block Exchangestructural-affinity · Closed
- Uniform prime minimum lower correctionstructural-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