A transfer theorem in constructive \(p\)-adic algebra
type: Item
instance of: scholarly article
title: A transfer theorem in constructive \(p\)-adic algebra
zbMATH Open document ID: 0771.03019
DOI: 10.1016/0168-0072(92)90033-V
author: Deirdre Haskell
published in: Annals of Pure and Applied Logic
publication date: 1992-09-27T00:00:00Z
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.
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 64029
zbMATH Keywords: constructive mathematics
zbMATH Keywords: \(p\)-adic number theory
zbMATH Keywords: cylindric algebraic decomposition
reviewed by: Pawel Kruszynski
MaRDI profile type: Publication
cites work: Q3679172
cites work: Q3803111
cites work: Q3754620
cites work: Q4722187
cites work: Points and Spaces
cites work: Q3726220
cites work: Q4079605
cites work: The rationality of the Poincaré series associated to the p-adic points on a variety
cites work: p-adic semi-algebraic sets and cell decomposition.
cites work: Q5343325
cites work: On definable subsets of p-adic fields
cites work: A course in constructive algebra
cites work: The geometric theory of \(p\)-adic fields
cites work: The real-algebraic structure of Scott's model of intuitionistic analysis
cites work: More on real algebra in Scott's model
cites work: A note on definable Skolem functions
cites work: On the structure of semialgebraic sets over p-adic fields
cites work: Q5799167
description: scientific article; zbMATH DE number 64029