Combinatorics / CONCEPT
Transitions of Active Marks
Appending a letter induces record, fresh-site or old-site transitions on the active marks.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS1
The active-mark transition correspondence
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
- Active Letters in the First Classstructural-affinity · Closed
- Active Values and Occurrence Marksstructural-affinity · Closed
- Appending to the First Avoidance Classstructural-affinity · Closed
- Continuation Series for the Second Classstructural-affinity · Closed
- Counting Words in the Second Classstructural-affinity · Closed
- Equinumerosity of the Weak Ascent Sequence Classes in Class 215structural-affinity · Closed
- Grouped Renewal Seriesstructural-affinity · Closed
- Kernel Coefficient Recursionsstructural-affinity · Closed
- The Second Avoidance Classstructural-affinity · Closed
- The Survivor Series Factorizationstructural-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