TY  - RPRT
TI  - Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $ \forall\exists\forall$-definable in the language of rings
AU  - Mohsen Khani
AU  - Shaghayegh Shirani
AU  - Zahra Yadegari
AU  - Afshin Zarei
PY  - 2025
UR  - https://arxiv.org/abs/2508.06876
ID  - 2508.06876
ER  -