Arith / CONCEPT
Absorbing Paired Histories and Coarse Action Factorization
The least absorbing paired response relation is characterized by equal coarse words and exactly characterizes coarse action factorization on every finite raw history.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH12
DOCUMENT LINKS0
Equal-coarse words extend a generated pair
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
- Common Completion of Finite Coarse Routesstructural-affinity · Closed
- Compatible Raw Cache Fibersstructural-affinity · Closed
- Exact Finite Trace Compilerstructural-affinity · Closed
- Faithful Finite Tables for Native Bounded Observersstructural-affinity · Closed
- Finite Orbit Period Boundstructural-affinity · Closed
- Finite Pure Acquisition and Exact Node Baselinestructural-affinity · Closed
- Full Nominal Absorbing Absent Normalizationstructural-affinity · Closed
- Native Finite Observer and Bounded Raw Absencestructural-affinity · Closed
- Original Completion Horizon and Literal Supportstructural-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