18 citations · 58 across the 32 of their papers we have counts for
40 papers
Linear theories of global fields with absolute values
Arno Fehm, Pierre Touchard
We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an…
Existential fragments of theories of henselian valued fields
Sylvy Anscombe, Arno Fehm
We study fragments of the existential theory of henselian valued fields with parameters. This includes the -fragment in the equicharacteristic or unramified mixed charac…
Hilbert properties of varieties
Arno Fehm, Ariyan Javanpeykar
This is a survey of results on the Hilbert property of algebraic varieties, and variants of it.
Polynomial-time Tractable Problems over the -adic Numbers
Arno Fehm, Manuel Bodirsky
We study the computational complexity of fundamental problems over the -adic numbers and the -adic integers . Guépin, Haase, and Worrell proved…
Universal-existential theories of fields
Sylvy Anscombe, Arno Fehm
We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example…
On the existential theory of the completions of a global field
Philip Dittmann, Arno Fehm
We discuss the common existential theory of all or almost all completions of a global function field.