On the existential theory of the completions of a global field

2024/01/22 by Dittmann, Philip, Fehm, Arno
#03C60 #11G25 #12J20 #12L05 #12L12 #14G05 #FOS: Mathematics #Logic (math.LO) #Number Theory (math.NT)

paper · doi:10.48550/arxiv.2401.11930

Abstract

We discuss the common existential theory of all or almost all completions of a global function field.

Related

• Universal-existential theories of fields
• Globally valued function fields: existential closure
• Uniform existential definitions of valuations in function fields in one variable
• La logique continue des corps globalement valués
• Short models of global fields