A transfer theorem in constructive \(p\)-adic algebra

DOI10.1016/0168-0072(92)90033-VzbMath0771.03019MaRDI QIDQ1194243

Deirdre Haskell

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicscylindric algebraic decomposition\(p\)-adic number theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items (1)

Classification of \(p\)-adic 6-dimensional filiform Leibniz algebras by solutions of \(x^q=a\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The rationality of the Poincaré series associated to the p-adic points on a variety
• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model
• The geometric theory of \(p\)-adic fields
• A course in constructive algebra
• On the structure of semialgebraic sets over p-adic fields
• p-adic semi-algebraic sets and cell decomposition.
• A note on definable Skolem functions
• On definable subsets of p-adic fields
• Points and Spaces

This page was built for publication: A transfer theorem in constructive \(p\)-adic algebra