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)

Full work available at URL https://doi.org/10.1016/0168-0072(92)90033-V

zbMATH Keywords

\(p\)-adic number theoryconstructive mathematicscylindric algebraic decomposition

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Review text

The paper contains a constructive approach to some aspects of \(p\)-adic number theory in the style of E. Bishop. The main result is a transfer theorem on the relationship between the classical and constructive validity of a class of first-order sentences over the \(p\)-adic numbers. In particular, some known properties of these numbers are considered, such as the existence of a cylindric algebraic decomposition for \(p\)-adic numbers.

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

• A course in constructive algebra
• A note on definable Skolem functions
• 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?)
• 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
• p-adic semi-algebraic sets and cell decomposition.
• 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

Cited in

(4)

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

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)