ObserverMemory / CONCEPT
No Terminal Self-Description
A terminal pro-object stage cannot contain its twisted self-evaluation concept.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH2
DOCUMENT LINKS1
A twisted self-evaluation escapes every terminal-stage listing
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
- Constant-Object Hom Formulas for Presented Pro-Objectsstructural-affinity · Closed
- Constructive Diagonal Escapestructural-affinity · Closed
- Dense Phase Is Unrealizablestructural-affinity · Closed
- Diagonal Capture Countstructural-affinity · Closed
- Diagonal Distance Profilesstructural-affinity · Closed
- Equivariant Diagonal Escapestructural-affinity · Closed
- Relative Diagonal Escapestructural-affinity · Closed
- The General Pro-Object Hom Formulastructural-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