A transfer theorem in constructive p-adic algebra

Annals of Pure and Applied Logic 58 (1):29-55 (1992)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(92)90033-v

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
About Goodmanʼs Theorem.Thierry Coquand - 2013 - Annals of Pure and Applied Logic 164 (4):437-442.
A version of o-minimality for the p-adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
Flatness and smooth points of p-adic subanalytic sets.Zachary Robinson - 1997 - Annals of Pure and Applied Logic 88 (2-3):217-225.
Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
A constructive version of Birkhoff's theorem.Jesper Carlström - 2008 - Mathematical Logic Quarterly 54 (1):27-34.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
A Version Of $o$-minimality For The $p$-adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.

Analytics

Added to PP
2014-01-16

Downloads
23 (#160,613)

6 months
11 (#1,140,922)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
Points and Spaces.L. E. J. Brouwer - 1969 - Journal of Symbolic Logic 34 (3):519-519.

View all 10 references / Add more references