A transfer theorem in constructive real algebra

Annals of Pure and Applied Logic 40 (1):29-87 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

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

Through your library

Similar books and articles

A transfer theorem in constructive p-adic algebra.Deirdre Haskell - 1992 - Annals of Pure and Applied Logic 58 (1):29-55.
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.
More on real algebra in scott's model.Philip Scowcroft - 1986 - Annals of Pure and Applied Logic 30 (3):277-291.
Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
Constructive Ackermann's interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.
A constructive investigation of satisfiability.Francesco Ciraulo - 2012 - Annals of Pure and Applied Logic 163 (2):111-121.

Analytics

Added to PP
2014-01-16

Downloads
19 (#1,086,124)

6 months
7 (#740,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
More on Brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.
A transfer theorem in constructive p-adic algebra.Deirdre Haskell - 1992 - Annals of Pure and Applied Logic 58 (1):29-55.

Add more citations

References found in this work

The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.

View all 9 references / Add more references