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
https://arxiv.org/abs/2210.01567
[2210.01567] Extension bases in Henselian valued fields
Abstract page for arXiv paper 2210.01567: Extension bases in Henselian valued fields
extensionbaseshenselianvaluedfields