ConceptDynamics / CONCEPT
Blind Kernel Reduction Measure
Positive weight detects blind residual pairs separated by a new definition.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH5
DOCUMENT LINKS1
Positive reduction weight detects a separated blind pair
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
- Blind Kernel Obstructionstructural-affinity · Closed
- Certification Windows under Budgetstructural-affinity · Closed
- Definition Closure as an Upstream Closure Operatorstructural-affinity · Closed
- Definition Kernel Galoisstructural-affinity · Closed
- Directly Provable DECT Laws With One Open Clausestructural-affinity · Closed
- Finite Cover and Countingstructural-affinity · Closed
- Indexed Target Sufficiencystructural-affinity · Closed
- Named Nonvacuity Witnesses For The Direct DECT Lawsstructural-affinity · Closed
- Residual Separation Adapterstructural-affinity · Closed
- Source Closure Three Lawsstructural-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