ConceptDynamics / CONCEPT
Original18.3: fixed block rigidity
A fixed disjoint block substitution that also respects unit time is induced by an actual-edge bijection at every position.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES5
PROOF DEPTH5
DOCUMENT LINKS1
The same code is one-block
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Bipartite overlap conjugacytruth-dependency · Closed
- Complete arbitrary-table criteriontruth-dependency · Closed
- Coordinates for actual fixed blockstruth-dependency · Closed
- Counted group-labelled overlap codestruth-dependency · Closed
- Equivariant overlap recodingtruth-dependency · Closed
- Rectangular nilpotence barriertruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
- Actual square lifts and arbitrary futures at the same integer cuttruth-dependency · Closed
- Inert group block conjugacytruth-dependency · Closed
- Ordered group chain historiestruth-dependency · Closed
- Reset paths as numbered expanded historiestruth-dependency · Closed
- Twisted periods from finite seamed wordstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A positive family from given rational matrix unitsstructural-affinity · Closed
- Actual integer-cut rays and intrinsic finite beamsstructural-affinity · Closed
- Actual square lifts and arbitrary futures at the same integer cutstructural-affinity · Closed
- Bipartite overlap conjugacystructural-affinity · Closed
- Complete arbitrary-table criterionstructural-affinity · Closed
- Coordinates for actual fixed blocksstructural-affinity · Closed
- Counted group chain recovery windowsstructural-affinity · Closed
- Counted group-labelled overlap codesstructural-affinity · Closed
- Equivariant overlap recodingstructural-affinity · Closed
- Finite order types of counted cyclic wordsstructural-affinity · Closed
- Fixed positive partition exchange distancestructural-affinity · Closed
- Inert group block conjugacystructural-affinity · Closed
- Integer cuts in the original stationary row colimitstructural-affinity · Closed
- Joint twisted periodic historiesstructural-affinity · Closed
- Orbit--centralizer decomposition of joint twisted returnsstructural-affinity · Closed
- Ordered group chain historiesstructural-affinity · Closed
- Prescribed-word realizationstructural-affinity · Closed
- Rectangular nilpotence barrierstructural-affinity · Closed
- Reset paths as numbered expanded historiesstructural-affinity · Closed
- The involution factorization as an exact exchangestructural-affinity · Closed
- Twisted periods from finite seamed wordsstructural-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