A transfer theorem in constructive p-adic algebra

DOI10.1016/0168-0072(92)90033-VMaRDI QIDQ1194243zbMATH OpenFDO

Authors 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)

Recommendations

• A univalent formalization of the \(p\)-adic numbers
• scientific article; zbMATH DE number 4106955
• scientific article; zbMATH DE number 1775215
• On approximation of \(p\)-adic numbers by \(p\)-adic algebraic numbers
• A journey throughout the history of \(p\)-adic numbers

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3957242 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3993748 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3059981 (Why is no real title available?)
• A course in constructive algebra
• A note on definable Skolem functions
• More on real algebra in Scott's model
• On definable subsets of p-adic fields
• On the structure of semialgebraic sets over p-adic fields
• Points and Spaces
• The geometric theory of \(p\)-adic fields
• 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
• p-adic semi-algebraic sets and cell decomposition.

Cited in

(4)

• A univalent formalization of the \(p\)-adic numbers
• scientific article; zbMATH DE number 4040146 (Why is no real title available?)
• A transfer theorem for Henselian valued and ordered fields
• Classification of p-adic 6-dimensional filiform Leibniz algebras by solutions of x^q=a

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194243)