Uniform existential definitions of valuations in function fields in one variable

arXiv2311.06044MaRDI QIDQ6458844

Nicolas Daans, Karim Johannes Becher, Philip Dittmann

Publication date: 10 November 2023

Mathematics Subject Classification ID

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