Words / CONCEPT
Literal Zeckendorf deletion
Deleting the least significant Fibonacci position recovers the index of the containing golden substitution block.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH13
DOCUMENT LINKS0
The block containing an index
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
- A Dom-Path Longer Than the Jaco Graph Diameter Boundstructural-affinity · Closed
- A Twenty-State Finite-Prefix Barrierstructural-affinity · Closed
- Actual finite partial machinesstructural-affinity · Closed
- Bounded complete residual representativesstructural-affinity · Closed
- Canonical Input Transport for the Golden Base-Four Machinestructural-affinity · Closed
- Decorated Fibonacci Windowsstructural-affinity · Closed
- Golden Desubstitution Depthstructural-affinity · Closed
- Golden Desubstitution in Zeckendorf Coordinatesstructural-affinity · Closed
- Golden Desubstitution Normal-Form Depthstructural-affinity · Closed
- Golden Hecke-Mahler Functional Equationstructural-affinity · Closed
- Legal residual normal formsstructural-affinity · Closed
- Maximum degree and literal Fibonacci digit deletionstructural-affinity · Closed
- Moradi--Rampersad--Shallit Problem 1: exact partial MSD modelstructural-affinity · Closed
- The Domination Clause of Kok's Jaco Graph Conjecturestructural-affinity · Closed
- The original Jaco addition law is falsestructural-affinity · Closed
- The recursive Jaco endpoint lawstructural-affinity · Closed
- Unique values across all Jaco graph ordersstructural-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