Combinatorics / CONCEPT
Physical labels and endpoint bounds
Physical sources for four independent gaps
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES16
PROOF DEPTH9
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Combinatorics: Algebratruth-dependency · Closed
- Combinatorics: Arithmetictruth-dependency · Closed
- Combinatorics: Arithmetictruth-dependency · Closed
- Combinatorics: Ascending Arithmetictruth-dependency · Closed
- Combinatorics: Descending Arithmetictruth-dependency · Closed
- Combinatorics: Lowertruth-dependency · Closed
- Combinatorics: Nativetruth-dependency · Closed
- Combinatorics: Physical Bankstruth-dependency · Closed
- Combinatorics: Physical Bankstruth-dependency · Closed
- Combinatorics: Sourcetruth-dependency · Closed
- Combinatorics: Source Massestruth-dependency · Closed
- Combinatorics: Uppertruth-dependency · Closed
- Endpoint datatruth-dependency · Closed
- Exact physical arithmetictruth-dependency · Closed
- The c=d bank reserve and literal physical realizationtruth-dependency · Closed
- Two independent unbounded gaps and one literal cuttruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A common phase with quantitative marginsstructural-affinity · Closed
- Both directions use the same physical partitionstructural-affinity · Closed
- Combinatorics: Algebrastructural-affinity · Closed
- Combinatorics: Arithmeticstructural-affinity · Closed
- Combinatorics: Arithmeticstructural-affinity · Closed
- Combinatorics: Ascending Arithmeticstructural-affinity · Closed
- Combinatorics: Descending Arithmeticstructural-affinity · Closed
- Combinatorics: Descending Certificatesstructural-affinity · Closed
- Combinatorics: Lowerstructural-affinity · Closed
- Combinatorics: Nativestructural-affinity · Closed
- Combinatorics: Physical Banksstructural-affinity · Closed
- Combinatorics: Physical Banksstructural-affinity · Closed
- Combinatorics: Selectionstructural-affinity · Closed
- Combinatorics: Sourcestructural-affinity · Closed
- Combinatorics: Source Massesstructural-affinity · Closed
- Combinatorics: Upperstructural-affinity · Closed
- Construction and exact scopestructural-affinity · Closed
- Endpoint datastructural-affinity · Closed
- Endpoint datastructural-affinity · Closed
- Exact physical arithmeticstructural-affinity · Closed
- Original labels and exact unbounded domainstructural-affinity · Closed
- Physical labels and endpoint boundsstructural-affinity · Closed
- Physical labels and endpoint boundsstructural-affinity · Closed
- The actual old and enlarged sourcestructural-affinity · Closed
- The c=d bank reserve and literal physical realizationstructural-affinity · Closed
- Two independent unbounded gaps and one literal cutstructural-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