Words / CONCEPT
Golden Desubstitution Normal Form
Organize golden desubstitution as a terminating deterministic rewrite system and identify its unique terminal indices.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH11
DOCUMENT LINKS1
Each desubstitution step strictly decreases the 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
- Church-Rosser Equivalencestructural-affinity · Closed
- Golden Desubstitution Depthstructural-affinity · Closed
- Golden Desubstitution Face-Length Closed Formsstructural-affinity · Closed
- Golden Desubstitution in Zeckendorf Coordinatesstructural-affinity · Closed
- Golden Desubstitution Normal-Form Depthstructural-affinity · Closed
- Golden Desubstitution on Conjugate-Face Lengthstructural-affinity · Closed
- Golden Desubstitution on Expansion-Face Lengthstructural-affinity · Closed
- Golden Substitution-Start Asymptotic Slopestructural-affinity · Closed
- Newman Confluencestructural-affinity · Closed
- Newman Normal Formsstructural-affinity · Closed
- Normal Form Functionstructural-affinity · Closed
- Pointwise Substitution Fixed Point of the Golden Wordstructural-affinity · Closed
- Words: Golden Balancestructural-affinity · Closed
- Words: Golden Critical Exponentstructural-affinity · Closed
- Words: Golden Desubstitutionstructural-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