Contact DMCA Privacy

Robuta

https://arxiv.org/abs/1504.01871
[1504.01871] A definable henselian valuation with high quantifier complexity
Abstract page for arXiv paper 1504.01871: A definable henselian valuation with high quantifier complexity
henselian valuationdefinablehighquantifiercomplexity