ConceptDynamics / CONCEPT
Definition Universe and Kernel Order
Definitions form a dependent universe ordered by their equality kernels.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH4
DOCUMENT LINKS1
The definition universe carries its kernel and higher-order constructors
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
- Concept Classes and Kernel Relationsstructural-affinity · Closed
- Effective Maximal Control-Compatible Evaluationstructural-affinity · Closed
- Exact Target Forced Leakstructural-affinity · Closed
- Explainable but Not Contestablestructural-affinity · Closed
- Least Common Readout Refinementstructural-affinity · Closed
- Redundant Appeal and Defect Persistencestructural-affinity · Closed
- Resource-Asymmetric Concept Equivalencestructural-affinity · Closed
- Target Knowledge Without World Knowledgestructural-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