ConceptDynamics / CONCEPT
Nonconvex Sharp Identification
Nonconvex identified sets separate endpoint exactness, outer-relaxation validity, and complete range sharpness.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES3
PROOF DEPTH0
DOCUMENT LINKS1
Outer-relaxation lower bounds remain valid for the inner model
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
RELATED KNOWLEDGE
Structural connections
- Benefit Probability Boundsstructural-affinity · Closed
- Cross-World Independence Sharp Boundsstructural-affinity · Closed
- Finite Event Coupling Sharp Boundsstructural-affinity · Closed
- Finite Linear Causal Identificationstructural-affinity · Closed
- Partial Graph Information Orderstructural-affinity · Closed
- Partial-Diagram Constraint Compiler Soundnessstructural-affinity · Closed
- Partial-Graph Completion Rangesstructural-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