Topology / CONCEPT
Continuous real tests reflect below omega-one
Every continuous real test on an omega-one profinite inverse limit factors exactly through one proper stage above any prescribed base.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS0
Exact continuous factorization at a proper stage
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
- Complete signed-ball analytic reductionstructural-affinity · Closed
- Countable avoidance and full Stone–Čech injectionstructural-affinity · Closed
- Countable common-stage clopen reflectionstructural-affinity · Closed
- Eventual equality from clopen testsstructural-affinity · Closed
- Exact countable signed norm reflectionstructural-affinity · Closed
- Generic historical collisions and signed capturestructural-affinity · Closed
- One literal omega-one prefixstructural-affinity · Closed
- Signed raw splitting and clopen oscillationstructural-affinity · Closed
- Uniform weak-star perturbationsstructural-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