Combinatorics / CONCEPT
Isolated SMALL labels with no bound on their number
A finite centered-doubling permutation whose SMALL labels have one sign and are never consecutive admits a full half-strip ordering.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH6
DOCUMENT LINKS0
Completion of the complete physical inventory
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Full exchange through the physical SMALL source halfstructural-affinity · Closed
- Full source completion from one actual opposite pairstructural-affinity · Closed
- Native full completion with exactly two physical SMALL labelsstructural-affinity · Closed
- Ordering pairwise compatible steps between two endpointsstructural-affinity · Closed
- Same-sign substitution with a compatible suffixstructural-affinity · Closed
- The Late Growing Ratio Limitstructural-affinity · Closed
- Three same-sign SMALL labels, including adjacencystructural-affinity · Closed
- Three-small block placement in the sixfold normalizationstructural-affinity · Closed
- Two opposite LARGE labels: the complete three-case 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