Combinatorics / CONCEPT
First entry four and complete classification
Tail structure, middle-segment pattern avoidance, classification for first entry four across all lengths at least four, and the full seven-family classification for lengths at least nine.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS0
Tail types and middle-segment structure when the first entry is four
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
- Counting Component Boundariesstructural-affinity · Closed
- Enumeration, generating series, and linear recurrencestructural-affinity · Closed
- Explicit families and first-entry boundsstructural-affinity · Closed
- Indecomposability after Maximum Insertionstructural-affinity · Closed
- The Archer-Bourne square recurrence fails at elevenstructural-affinity · Closed
- The corrected counting recurrencestructural-affinity · Closed
- The first component and the layered tailstructural-affinity · Closed
- Unique Direct-Sum Componentsstructural-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