Digit / CONCEPT
Bounded complete residual representatives
Bounded complete residual representatives.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES2
PROOF DEPTH14
DOCUMENT LINKS1
Bounded complete residual representatives
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
- Actual finite partial machinesstructural-affinity · Closed
- Arithmetic Inputs in the Base Languagestructural-affinity · Closed
- Canonical Input Transport for the Golden Base-Four Machinestructural-affinity · Closed
- Conditional weighted avoidance countstructural-affinity · Closed
- Contextual Fibonacci Parity Replacementstructural-affinity · Closed
- Decorated Fibonacci Windowsstructural-affinity · Closed
- Legal residual normal formsstructural-affinity · Closed
- Literal Zeckendorf deletionstructural-affinity · Closed
- Maximum degree and literal Fibonacci digit deletionstructural-affinity · Closed
- Moradi--Rampersad--Shallit Problem 1: exact partial MSD modelstructural-affinity · Closed
- The literal zero-digit rule for every Fibonacci palindromestructural-affinity · Closed
- The original Jaco addition law is falsestructural-affinity · Closed
- Unique values across all Jaco graph ordersstructural-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