Tower / CONCEPT
Substitution Tower Clause
The substitution-tower clause, its assertions conjoined, including the refutation of the one that is false.
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES0
PROOF DEPTH54
DOCUMENT LINKS1
The substitution tower clause
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Champion Limittruth-dependency · Closed
- D-Bonacci Substitutiontruth-dependency · Closed
- General D-Bonacci Ergodic Bridgetruth-dependency · Closed
- Measured Non-Pisot Gap Countstruth-dependency · Closed
- Not Eventually Periodictruth-dependency · Closed
- Period Eleven Aggregatetruth-dependency · Closed
- Strict Finite Depthtruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Champion Limitstructural-affinity · Closed
- D-Bonacci Substitutionstructural-affinity · Closed
- Enumeration Eleven MaximinEstructural-affinity · Closed
- General D-Bonacci Ergodic Bridgestructural-affinity · Closed
- Measured Non-Pisot Gap Countsstructural-affinity · Closed
- Not Eventually Periodicstructural-affinity · Closed
- Period Eleven Aggregatestructural-affinity · Closed
- Strict Finite Depthstructural-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