Robuta

https://arxiv.org/abs/2007.07521 [2007.07521] Definable completeness of $P$-minimal fields and applications Abstract page for arXiv paper 2007.07521: Definable completeness of $P$-minimal fields and applications 2007 07521 definable completeness minimal https://arxiv.org/abs/1704.02910 [1704.02910] Definable Valuations induced by multiplicative subgroups and NIP Fields Abstract page for arXiv paper 1704.02910: Definable Valuations induced by multiplicative subgroups and NIP Fields 1704 02910 definable valuations induced https://arxiv.org/html/2112.00430v2 One-dimensional commutative groups definable in algebraically closed valued fields and in... one dimensional algebraically closed commutative groups definable