Arith / CONCEPT
Roth Key Inequality
The auxiliary-polynomial estimates imply Roth's key local approximation inequality.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES2
PROOF DEPTH5
DOCUMENT LINKS1
Roth Key Inequality
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
- Absolute Scalar Heightstructural-affinity · Closed
- Binary Formstructural-affinity · Closed
- Box Monomialstructural-affinity · Closed
- Counting Volumestructural-affinity · Closed
- Index Renamestructural-affinity · Closed
- Mv Polynomial Eval Boundstructural-affinity · Closed
- Places Over Finitestructural-affinity · Closed
- Places Over Infinitestructural-affinity · Closed
- Polynomial Indexstructural-affinity · Closed
- Q-transversal representabilitystructural-affinity · Closed
- Roth Auxiliarystructural-affinity · Closed
- Roth Base Casestructural-affinity · Closed
- Roth Decompositionstructural-affinity · Closed
- Roth Moving Chainstructural-affinity · Closed
- Roth Theoremstructural-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