2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/218273Let K be a field with a valuation satisfying the following conditions: both K and the residue field k have characteristic zero; the value group is not 2-divisible; there exists a maximal subfield F in the valuation ring such that Gal(\bar{F}/F) and Gal(\bar{k}/k) have the same 2-cohomological dimension and this dimension is finite. Then Hilbert's Tenth Problem has a negative answer for any function field of a variety over K. In particular, this result proves undecidability for varieties over C((T)).Submitted to Algebra & Number TheoryNumber TheoryLogic12L05 (14H05 12J10 03B25 12G10)text