Diagonal / CONCEPT
Diagonal Escape Count
Finite diagonal listings admit an exact count of those escaped by self-application.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES10
PROOF DEPTH0
DOCUMENT LINKS1
Escaped listings have an exact cardinality
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
- Coordinate Restriction Naturalitytruth-dependency · Closed
- Dense Phase Is Unrealizabletruth-dependency · Closed
- Diagonal Capture Counttruth-dependency · Closed
- Diagonal Distance Profilestruth-dependency · Closed
- Differential-Testing Escape Formulatruth-dependency · Closed
- Equivariant Diagonal Escapetruth-dependency · Closed
- Finite Product Capture Lawtruth-dependency · Closed
- Lawvere Escapetruth-dependency · Closed
- Relative Diagonal Escapetruth-dependency · Closed
- Trureturingtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Coordinate Restriction Naturalitystructural-affinity · Closed
- Dense Phase Is Unrealizablestructural-affinity · Closed
- Diagonal Capture Countstructural-affinity · Closed
- Diagonal Distance Profilesstructural-affinity · Closed
- Differential-Testing Escape Formulastructural-affinity · Closed
- Equivariant Diagonal Escapestructural-affinity · Closed
- Finite Product Capture Lawstructural-affinity · Closed
- Lawvere Escapestructural-affinity · Closed
- Relative Diagonal Escapestructural-affinity · Closed
- Skewed Escape Massstructural-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