Dynamics / CONCEPT
Shadowing of Mittag-Leffler Inverse Limits
Finite open cover shadowing passes to arbitrary directed compact Hausdorff limits with stabilized bonding images.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS0
Projection images are intersections of incoming images
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Buffered Whole-Path Retained-Cone Extensiontruth-dependency · Closed
- Countable common-stage clopen reflectiontruth-dependency · Closed
- Finite Observations of Shadowing Sourcestruth-dependency · Closed
- Signed proper countable limit extensiontruth-dependency · Closed
- Uniform Shadowing and Prescribed Sourcestruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Buffered Whole-Path Retained-Cone Extensionstructural-affinity · Closed
- Countable common-stage clopen reflectionstructural-affinity · Closed
- Countable joint finite-block fusionstructural-affinity · Closed
- Existence of total-variation-preserving signed liftsstructural-affinity · Closed
- Finite Observations of Shadowing Sourcesstructural-affinity · Closed
- Full signed weak-star convergence from clopen Cauchy datastructural-affinity · Closed
- Signed proper countable limit extensionstructural-affinity · Closed
- Uniform Shadowing and Prescribed Sourcesstructural-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