Uniform existential definitions of valuations in function fields in one variable
From MaRDI portal
Publication:6458844
arXiv2311.06044MaRDI QIDQ6458844
Nicolas Daans, Karim Johannes Becher, Philip Dittmann
Publication date: 10 November 2023
12L05: Decidability and field theory
11E81: Algebraic theory of quadratic forms; Witt groups and rings
12L99: Connections between field theory and logic
12F20: Transcendental field extensions