Axiomatizing the existential theory of 𝔽q ((t))
S Anscombe, P Dittmann, A Fehm - Algebra & Number Theory, 2023 - msp.org
We study the existential theory of equicharacteristic henselian valued fields with a
distinguished uniformizer. In particular, assuming a weak consequence of resolution of …
distinguished uniformizer. In particular, assuming a weak consequence of resolution of …
Decidability of addition and Frobenius map for polynomials and rational functions
D Chompitaki, M Kamarianakis, T Pheidas - Reports on Mathematical …, 2022 - ceeol.com
Let pbe a prime number, Fp a finite field with pelements, Fan algebraic extension of Fp and
za variable. We consider the structure of addition and the Frobenius map (ie, x→ xp) in the …
za variable. We consider the structure of addition and the Frobenius map (ie, x→ xp) in the …