Arith / CONCEPT
Horizontal Joint Kernel
A finite family of positive prime-power residue channels has product-modulus kernel.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
The joint residue kernel is divisibility by the product modulus
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
- Arbitrary Coordinate Erasure Criterionstructural-affinity · Closed
- Binary Character Profile Rank Cardinalitystructural-affinity · Closed
- Binary Character Rank And Redundancystructural-affinity · Closed
- Binary Character Semantic Redundancystructural-affinity · Closed
- Coordinate-Deletion Robustnessstructural-affinity · Closed
- Dependent Finite Prime-Time Tomographystructural-affinity · Closed
- Experiment Identifiabilitystructural-affinity · Closed
- Experiment Value Is Kernel Reductionstructural-affinity · Closed
- Faithful Observation Commutation Criterionstructural-affinity · Closed
- Finite Extraction of a Faithful Observer Familystructural-affinity · Closed
- Finite Identification Output Capacitystructural-affinity · Closed
- Finite Pairwise Global Classifierstructural-affinity · Closed
- Finite Realization Certificatestructural-affinity · Closed
- Fixed Observation Dominance Asymmetrystructural-affinity · Closed
- Intervention Target Factorizationstructural-affinity · Closed
- Intervention-Family Kernel Monotonicitystructural-affinity · Closed
- Intervention-Family Transcript Obstructionstructural-affinity · Closed
- Joint Faithfulness and the Leibniz Criterionstructural-affinity · Closed
- Local-Global Residual Criterionstructural-affinity · Closed
- Minimal Quotient for a Target Familystructural-affinity · Closed
- Minimum Complete Set Coverstructural-affinity · Closed
- Model-Relative Completeness and the Difference Criterionstructural-affinity · Closed
- Observer and Concept Readout Correspondencestructural-affinity · Closed
- Off-Policy Residual Identifiabilitystructural-affinity · Closed
- Oracle Intervention-Law Error Detectionstructural-affinity · Closed
- Prime Budget Readout Dichotomystructural-affinity · Closed
- Retained Residue Recovery Criterionstructural-affinity · Closed
- Same Prime Scale Redundancystructural-affinity · Closed
- Static Exact Experiment Designstructural-affinity · Closed
- Task Identity and Global Identitystructural-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