ConceptDynamics / CONCEPT
Complete Observation Expressibility Criterion
A target is expressible from the complete observation exactly when it is constant on every joint fiber.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS1
Expressibility, kernel inclusion, and fiber constancy agree
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Binary Character Subfamily Criterionstructural-affinity · Closed
- Horizontal Saturation Separationstructural-affinity · Closed
- Indexed Target Sufficiencystructural-affinity · Closed
- Joint Faithfulness and the Leibniz Criterionstructural-affinity · Closed
- Knowledge Along Dependencystructural-affinity · Closed
- Latent Adequacy Criterionstructural-affinity · Closed
- Local-Global Residual and Target Expressibilitystructural-affinity · Closed
- Minimal Target Distillationstructural-affinity · Closed
- Productive Diagonal Escape Criterionstructural-affinity · Closed
- Question Algebra Dualitystructural-affinity · Closed
- Relative Semantic Diagonalstructural-affinity · Closed
- Subfamily Inadequacy Persistencestructural-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