Asymptotics / CONCEPT
Sharp Radius of a Finite-Support Agreement Class
The first unpinned coordinate determines the sharp prefix-metric radius.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
The first unpinned coordinate gives the sharp radius
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
- Budget and First-Gap Geometry of Green Classesstructural-affinity · Closed
- Exact Diameter and Optimal Supports for Green Classesstructural-affinity · Closed
- Green-Class Mass and Naming Conservationstructural-affinity · Closed
- Hausdorff Dimension of the Naming Space and Its Green Classesstructural-affinity · Closed
- Infinite Identification without Finite Exact Tomographystructural-affinity · Closed
- The First Hole Is Bounded by the Budget, with Equality for Prefix Namesstructural-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