VertexAlgebra / CONCEPT
The rational inner field and its two supported orders
The complete current/second-source rational field in the original nested-Q telescope.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH29
DOCUMENT LINKS0
One rational G_j retains both complete J/B residues and every original label
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
- ActualReadoutstructural-affinity · Closed
- FirstSourceClosurestructural-affinity · Closed
- Homogeneous slice quotient compatibilitystructural-affinity · Closed
- LatticeHalfFockABOuterTaylorstructural-affinity · Closed
- LatticeHalfFockCollisionJacobistructural-affinity · Closed
- LatticeHalfFockFirstOuterTaylorstructural-affinity · Closed
- LatticeHalfFockOuterTaylorEvaluationstructural-affinity · Closed
- LocalResiduesstructural-affinity · Closed
- The rational inner field and its ordered coefficientsstructural-affinity · Closed
- Weighted local extraction for the actual two branchesstructural-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