Tower / CONCEPT
Period Eleven Aggregate
The period-at-most-eleven enumeration has maximin exactly the champion value.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH53
DOCUMENT LINKS1
Period eleven maximin is the champion value
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
- Enumeration Eleven MaximinCstructural-affinity · Closed
- Enumeration Eleven MaximinDstructural-affinity · Closed
- Enumeration Eleven MaximinEstructural-affinity · Closed
- Not Eventually Periodicstructural-affinity · Closed
- Period Eleven Assemblystructural-affinity · Closed
- Period Eleven Distinct Astructural-affinity · Closed
- Period Nine Aggregatestructural-affinity · Closed
- Period Ten Aggregatestructural-affinity · Closed
- Strict Finite Depthstructural-affinity · Closed
- Substitution Tower Clausestructural-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