Arith / CONCEPT
Prime-Power Envelope of Actual Price Records
A uniform exponent envelope for every prime divisor of an actual nonnegative-price full predecessor record.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES0
PROOF DEPTH16
DOCUMENT LINKS0
Uniform prime-power envelope
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
- Divisor objective corestructural-affinity · Closed
- Integer Prime Exponent Exchangestructural-affinity · Closed
- Original endpoint first-layer bandsstructural-affinity · Closed
- Original endpoint prime tailsstructural-affinity · Closed
- Original Robin interval transferstructural-affinity · Closed
- Prime Structure of Actual Price Recordsstructural-affinity · Closed
- Repeated Prime Euler Tailsstructural-affinity · Closed
- Simultaneous Prime Block Exchangestructural-affinity · Closed
- The complete original endpoint tail has a matching upper scalestructural-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