ConceptDynamics / CONCEPT
Registration Template and Helpers
Typed constructors generate primitive inventories and laws over explicit canonical arenas.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES10
PROOF DEPTH5
DOCUMENT LINKS1
Witnessed minimum transport
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Bounded Runs and Coherent Prefixestruth-dependency · Closed
- Centered Reduced Residue Progressionstruth-dependency · Closed
- CounterexampleRecordtruth-dependency · Closed
- GuardedEqualityRegistrationTemplatestruth-dependency · Closed
- IterationDepthNoGapRegistrationtruth-dependency · Closed
- MapInjectiveRegistrationTemplatestruth-dependency · Closed
- PointwiseRegistrationTemplatestruth-dependency · Closed
- Registration Shadowstruth-dependency · Closed
- Shared Canonical Arena Peerstruth-dependency · Closed
- Wu's Pyramidal Complement Formulatruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Adaptive Modular Identificationstructural-affinity · Closed
- Bounded Runs and Coherent Prefixesstructural-affinity · Closed
- Centered Reduced Residue Progressionsstructural-affinity · Closed
- Commuting Completion Exchangestructural-affinity · Closed
- Congruence Kernelstructural-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
- CounterexampleRecordstructural-affinity · Closed
- Finite Information-Escape Arenasstructural-affinity · Closed
- GuardedEqualityRegistrationTemplatesstructural-affinity · Closed
- Iteration-Depth No-Gap for Literal Insertionstructural-affinity · Closed
- IterationDepthNoGapRegistrationstructural-affinity · Closed
- Joint Faithfulness and the Leibniz Criterionstructural-affinity · Closed
- MapInjectiveRegistrationTemplatesstructural-affinity · Closed
- MechanicalPhaseAverageRegistrationstructural-affinity · Closed
- Minimal Predictive Completion Quotientstructural-affinity · Closed
- Mutual Abelian-Border Densities of Binary Word Pairsstructural-affinity · Closed
- PointwiseRegistrationTemplatesstructural-affinity · Closed
- Positive values of A399155 have finite fibersstructural-affinity · Closed
- Registration Shadowsstructural-affinity · Closed
- Shared Canonical Arena Peersstructural-affinity · Closed
- Wu's Pyramidal Complement Formulastructural-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