Weil / CONCEPT
Off-Line Zero Negative Weil Square
The stored nontriviality of every ZeroData zero discharges nonreality and yields the final full and finite-cutoff off-line Weil-square separators.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES4
PROOF DEPTH23
DOCUMENT LINKS1
Stored nontrivial zeros have nonzero imaginary part
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
- Alternating Zeta Continuation and Real-Axis Nonvanishingstructural-affinity · Closed
- Explicit-Formula Weil Criterionstructural-affinity · Closed
- Height-Window Weil-Square Criterionstructural-affinity · Closed
- Negative Full Energy in the Literal Rational Familystructural-affinity · Closed
- Off-Line Nonreal Zero Negative Weil Squarestructural-affinity · Closed
- Off-Line Zero Negative Truncated Weil Squarestructural-affinity · Closed
- Prime-Archimedean Poincare Criterionstructural-affinity · Closed
- RH Implies the Transcribed O-6 Weil Positivity Statementstructural-affinity · Closed
- Truncated Weil-Square Positivity Criterionstructural-affinity · Closed
- Unconditional Explicit Formulastructural-affinity · Closed
- Weil-Square Positivity Criteria Under Infinitely Many Zerosstructural-affinity · Closed
- Weil-Square Positivity Criterionstructural-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