Weil / CONCEPT
Backlund Horizontal Bound
The horizontal argument variation and vertical line are logarithmically controlled.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS1
Backlund Horizontal Bound
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Backlund Definitionsstructural-affinity · Closed
- Explicit Large-Height Zero Countstructural-affinity · Closed
- Half-Line Zero Separationstructural-affinity · Closed
- Jensen Real-Zero Countstructural-affinity · Closed
- Riemann-von Mangoldt Definitionsstructural-affinity · Closed
- Riemann-von Mangoldt Gamma Sidestructural-affinity · Closed
- Riemann-von Mangoldt Main Termstructural-affinity · Closed
- Riemann-von Mangoldt Statementstructural-affinity · Closed
- Unit-Interval Mellin Separationstructural-affinity · Closed
- Weil: Local Countstructural-affinity · Closed
- Weil: Statementstructural-affinity · Closed
- Weil: Strong PNT Prefixstructural-affinity · Closed
- Weil: Zeta Growthstructural-affinity · Closed
- Zeta Conjugation Identitiesstructural-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