ConceptDynamics / CONCEPT
Finite Intervention Extraction
A separating intervention family on a finite model class has a finite separating subfamily.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
Finitely many interventions retain all target distinctions
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
- Evidence-Relative Experiment Cover Criterionstructural-affinity · Closed
- Finite Experiment Cover Criterionstructural-affinity · Closed
- Minimum Complete Observers as Set Coverstructural-affinity · Closed
- Minimum-Cost Target Coverstructural-affinity · Closed
- Target Sufficiency Pair Coverstructural-affinity · Closed
- Target-Pair Coverage and Information Contraststructural-affinity · Closed
- Target-Relative Pair Universestructural-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