Diagonal / CONCEPT
Lawvere Escape
A fixed-point-free twist escapes every listing, with no finiteness hypothesis.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH1
DOCUMENT LINKS1
A fixed-point-free twist escapes every listing
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Complement Selector Diagonaltruth-dependency · Closed
- Diagonal Novelty and World Informationtruth-dependency · Closed
- Escape Under Observationtruth-dependency · Closed
- Observer Diagonal Separationtruth-dependency · Closed
- Productive Diagonal Escape Criteriontruth-dependency · Closed
- Typed Escape Needs Positivitytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Complement Selector Diagonalstructural-affinity · Closed
- Constructive Diagonal Escapestructural-affinity · Closed
- Dense Phase Is Unrealizablestructural-affinity · Closed
- Diagonal Capture Countstructural-affinity · Closed
- Diagonal Distance Profilesstructural-affinity · Closed
- Diagonal Escape Countstructural-affinity · Closed
- Diagonal Novelty and World Informationstructural-affinity · Closed
- Differential-Testing Escape Formulastructural-affinity · Closed
- Escape Under Observationstructural-affinity · Closed
- General Equivariant Escape Probabilitystructural-affinity · Closed
- Involutive Negationstructural-affinity · Closed
- Maximum Row-Distance Distributionstructural-affinity · Closed
- Observer Diagonal Separationstructural-affinity · Closed
- Orbit Counting for Equivariant Listingsstructural-affinity · Closed
- Productive Diagonal Escape Criterionstructural-affinity · Closed
- Quotient Blindness to Diagonal Twistsstructural-affinity · Closed
- Relative Diagonal Escapestructural-affinity · Closed
- Transitive Escape Ratestructural-affinity · Closed
- Typed Escape Needs Positivitystructural-affinity · Closed
- Uniform Equivariant Escape Probabilitystructural-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