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
- Binary Character Profile Rank Cardinalitystructural-affinity · Closed
- Binary Character Rank And Redundancystructural-affinity · Closed
- Binary Character Semantic Redundancystructural-affinity · Closed
- CIRPT Primitive Kernelsstructural-affinity · Closed
- Complete Dominance and Observation Nonfaithfulnessstructural-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 Observation Quotient Rangestructural-affinity · Closed
- Finite Pairwise Global Classifierstructural-affinity · Closed
- Finite Realization Certificatestructural-affinity · Closed
- Fixed Observation Dominance Asymmetrystructural-affinity · Closed
- Indexed Observation Closure Lawsstructural-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
- Reconstruction from Labeled Circular Deletionsstructural-affinity · Closed
- Retained Residue Recovery Criterionstructural-affinity · Closed
- Signed variation through finite joint observationsstructural-affinity · Closed
- Static Exact Experiment Designstructural-affinity · Closed
- Strict Kernel Tower Has No Finite Terminal Selfstructural-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