L'automorphisme de Frobenius des vecteurs de Witt

DOI10.1016/S0764-4442(00)00501-2zbMath0966.03038OpenAlexW2036911735MaRDI QIDQ4511633

Luc Bélair, Angus J. Macintyre

Publication date: 19 December 2000

Published in: Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0764-4442(00)00501-2

zbMATH Keywords

decidabilityWitt vectorsFrobenius automorphismmodel completenessvalued fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05)

Related Items (4)

Integer-valued difference rational functions over Witt vectors ⋮ Difference equations in Witt vectors ⋮ Witt vectors. Part 1 ⋮ Approximation for Frobenius algebraic equations in Witt vectors

This page was built for publication: L'automorphisme de Frobenius des vecteurs de Witt