Arith / CONCEPT
Original Witness Confinement
Positive actual witnesses give attained complete prime-label windows and all-tie confinement.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS0
Full infinite-domain attainment from a positive witness
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
- Actual Integer Logarithmic Envelopestructural-affinity · Closed
- An Explicit Elementary Mertens Envelopestructural-affinity · Closed
- Logarithmic boundsstructural-affinity · Closed
- Original Inventory and Normalizer Lossstructural-affinity · Closed
- Original Maximum: Complete Pure Packetsstructural-affinity · Closed
- Original Prime Sources: Legal Exchange and Inventory Orderstructural-affinity · Closed
- Original Robin interval transferstructural-affinity · Closed
- OriginalFirstClockTransportstructural-affinity · Closed
- Restricted Integer Maxima and the Terminal Inventory Chainstructural-affinity · Closed
- Weil: Gronwall Upper Envelopestructural-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