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

Links

PhilArchive



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

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.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
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
14 (#996,581)

6 months
5 (#838,466)

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