A transfer theorem in constructive \(p\)-adic algebra (Q1194243)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A transfer theorem in constructive \(p\)-adic algebra |
scientific article; zbMATH DE number 64029
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A transfer theorem in constructive \(p\)-adic algebra |
scientific article; zbMATH DE number 64029 |
Statements
A transfer theorem in constructive \(p\)-adic algebra (English)
0 references
27 September 1992
0 references
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.
0 references
constructive mathematics
0 references
\(p\)-adic number theory
0 references
cylindric algebraic decomposition
0 references
