@misc{indiciaed20d2c606344, title = {Construction of a valued field whose valuation ring is definable but neither \$\textbackslash{}exists\textbackslash{}forall\textbackslash{}exists\$ nor \$ \textbackslash{}forall\textbackslash{}exists\textbackslash{}forall\$-definable in the language of rings}, author = {Mohsen Khani and Shaghayegh Shirani and Zahra Yadegari and Afshin Zarei}, year = {2025}, url = {https://arxiv.org/abs/2508.06876}, note = {Source identifier: 2508.06876} }