A transfer theorem in constructive \(p\)-adic algebra (Q1194243)

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.