ConceptDynamics / CONCEPT
Complete arbitrary-table criterion
Four concrete word tests characterize the same arbitrary pair of finite-window tables as mutually inverse continuous maps commuting with the original unit shift.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES7
PROOF DEPTH3
DOCUMENT LINKS0
Exactly the supplied tables on all histories
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Actual integer-cut rays and intrinsic finite beamstruth-dependency · Closed
- Actual square lifts and arbitrary futures at the same integer cuttruth-dependency · Closed
- Centered response histories and their numbered edgestruth-dependency · Closed
- Coordinates for actual fixed blockstruth-dependency · Closed
- Finite two-sided state-splitting inductiontruth-dependency · Closed
- Ordered group chain historiestruth-dependency · Closed
- Original18.3: fixed block rigiditytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Actual integer-cut rays and intrinsic finite beamsstructural-affinity · Closed
- Actual ordered factor paths and reversible peelingstructural-affinity · Closed
- Actual square lifts and arbitrary futures at the same integer cutstructural-affinity · Closed
- Bipartite overlap conjugacystructural-affinity · Closed
- Centered response histories and their numbered edgesstructural-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 two-sided state-splitting inductionstructural-affinity · Closed
- Multigraph Contraction on Rational Cyclesstructural-affinity · Closed
- Ordered group chain historiesstructural-affinity · Closed
- Original18.3: fixed block rigiditystructural-affinity · Closed
- Prescribed-word realizationstructural-affinity · Closed
- The involution factorization as an exact exchangestructural-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