ConceptDynamics / CONCEPT
Commuting Completion Exchange Arena
The completion countermodel law uses two typed flows and one cut.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Commuting-completion arena is nondegenerate
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
- Commuting Completion Exchangestructural-affinity · Closed
- Commuting Completion Exchange Realizationstructural-affinity · Closed
- Conjecture 15 of CayleyPy-4 fails at k = 5, L = 4, N = 13structural-affinity · Closed
- Conjecture 16 of CayleyPy-4 fails at k = 4, L = 2, N = 5structural-affinity · Closed
- Context-Relative Interpretation Fixed Pointsstructural-affinity · Closed
- Diameter of the inverse-closed consecutive 3-cycle Schreier coset graphstructural-affinity · Closed
- End State Omits Preempting Cause Arenastructural-affinity · Closed
- End State Omits Preempting Cause Realizationstructural-affinity · Closed
- Information-Escape Theorem Unitsstructural-affinity · Closed
- Local-Law Gluing Obstruction Arenastructural-affinity · Closed
- Local-Law Gluing Obstruction Realizationstructural-affinity · Closed
- Observation-Intervention Separationstructural-affinity · Closed
- Static Exact Experiment Design Arenastructural-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