Home
Scholarly Works
A transfer theorem in constructive p-adic algebra
Journal article

A transfer theorem in constructive p-adic algebra

Abstract

The main result of this paper is a transfer theorem which describes the relationship between constructive validity and classical validity for a class of first-order sentences over the p-adics. The proof of one direction of the theorem uses a principle of intuitionism; the proof of the other direction is classically valid. Constructive verifications of known properties of the p-adics are indicated. In particular, the existence of cylindric algebraic decompositions for the p-adics is used.

Authors

Haskell D

Journal

Annals of Pure and Applied Logic, Vol. 58, No. 1, pp. 29–55

Publisher

Elsevier

Publication Date

July 3, 1992

DOI

10.1016/0168-0072(92)90033-v

ISSN

0168-0072

Contact the Experts team