Arith / CONCEPT
Positive values of A399155 have finite fibers
Every positive integer value of the prime-factor subtraction difference occurs at only finitely many indices.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
Each positive value is attained only finitely often
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
- Centered Reduced Residue Progressionsstructural-affinity · Closed
- CounterexampleRecordstructural-affinity · Closed
- GuardedEqualityRegistrationTemplatesstructural-affinity · Closed
- IffRegistrationTemplatesstructural-affinity · Closed
- IterationDepthNoGapRegistrationstructural-affinity · Closed
- PointwiseRegistrationTemplatesstructural-affinity · Closed
- Registration Template and Helpersstructural-affinity · Closed
- Wu's Pyramidal Complement Formulastructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance