A transfer theorem in constructive p-adic algebra

DOI10.1016/0168-0072(92)90033-VzbMATH Open0771.03019MaRDI QIDQ1194243FDOQ1194243

Authors: Deirdre Haskell 

Publication date: 27 September 1992

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in constructive algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• The rationality of the Poincaré series associated to the p-adic points on a variety
• On the structure of semialgebraic sets over p-adic fields
• On definable subsets of p-adic fields
• Title not available (Why is that?)
• p-adic semi-algebraic sets and cell decomposition.
• Title not available (Why is that?)
• Points and Spaces
• 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
• Title not available (Why is that?)
• A note on definable Skolem functions

Cited In (4)

• A univalent formalization of the \(p\)-adic numbers
• Title not available (Why is that?)
• 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)