Quantifier elimination in linear difference equations over Witt vectors

DOI10.1016/J.CRMA.2008.05.011zbMath1146.03012OpenAlexW2082371560MaRDI QIDQ935343

Luc Bélair, Françoise Point

Publication date: 6 August 2008

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.crma.2008.05.011

Mathematics Subject Classification ID

Applications of logic to commutative algebra (13L05) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Model theory of the Frobenius on the Witt vectors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantifier elimination in linear difference equations over Witt vectors