Uniform existential definitions of valuations in function fields in one variable

MaRDI QIDQ6458844zbMATH OpenFDO

Authors Karim Johannes Becher, Nicolas Daans, Philip Dittmann

Publication date 10 November 2023

Mathematics Subject Classification ID

Algebraic theory of quadratic forms; Witt groups and rings (11E81) Transcendental field extensions (12F20) Decidability and field theory (12L05) Connections between field theory and logic (12L99)

This page was built for publication: Uniform existential definitions of valuations in function fields in one variable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6458844)