More on real algebra in scott's model

Annals of Pure and Applied Logic 30 (3):277-291 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90023-0

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,804

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

The real-algebraic structure of Scott's model of intuitionistic analysis.Philip Scowcroft - 1984 - Annals of Pure and Applied Logic 27 (3):275-308.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra.Martin Ziegler - 2012 - Annals of Pure and Applied Logic 163 (8):1108-1139.
Exponentiations over the universal enveloping algebra of s l 2.Sonia L’Innocente, Angus Macintyre & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (12):1565-1580.
Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
Complexity-theoretic algebra II: Boolean algebras.A. Nerode & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 44 (1-2):71-99.
Addendum to “Countable algebra and set existence axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.

Analytics

Added to PP
2014-01-16

Downloads
21 (#1,100,941)

6 months
3 (#1,188,722)

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.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
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

Add more references