Naming / CONCEPT
The First Hole Is Bounded by the Budget, with Equality for Prefix Names
The first hole of a finite support never exceeds its budget, with equality exactly for prefix names.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
The first hole is at most the budget, and equals it iff the support is a prefix
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Exact Diameter and Optimal Supports for Green Classesstructural-affinity · Closed
- Hausdorff Dimension of the Naming Space and Its Green Classesstructural-affinity · Closed
- Polynomial Complexity and Subshift Hausdorff Dimensionstructural-affinity · Closed
- Sharp Radius of a Finite-Support Agreement Classstructural-affinity · Closed
- The Green Class Has Content-Independent Measure n to the Minus mstructural-affinity · Closed
- The One-Sided Morse-Hedlund Theoremstructural-affinity · Closed
- Topology and Cardinality of Word Subshiftsstructural-affinity · Closed
- Varying-Marginal Green-Class Measurestructural-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