Words / CONCEPT
PositivePairExactDeckAsymptotics
Exact k-deck images have the full weighted-Lyndon asymptotic exponent.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES0
PROOF DEPTH16
DOCUMENT LINKS1
Full exact k-deck Conjecture 8.1 asymptotics
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- A Counterexample Inside Vivion's Restricted Classtruth-dependency · Closed
- ActualLyndonDirectionstruth-dependency · Closed
- ExactDeckCoretruth-dependency · Closed
- ExactDeckLowerBoundtruth-dependency · Closed
- FullLyndonRecoverytruth-dependency · Closed
- LyndonOrdertruth-dependency · Closed
- PositiveWordBalltruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A Counterexample Inside Vivion's Restricted Classstructural-affinity · Closed
- ActualLyndonDirectionsstructural-affinity · Closed
- ExactDeckCorestructural-affinity · Closed
- ExactDeckLowerBoundstructural-affinity · Closed
- FullLyndonRecoverystructural-affinity · Closed
- LyndonOrderstructural-affinity · Closed
- PositivePairBallGrowthstructural-affinity · Closed
- PositiveWordBallstructural-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