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: 91,709

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

Why Solovay real produces Cohen real.Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (4):957-968.
Scott incomplete Boolean ultrapowers of the real line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Scott's problem for Proper Scott sets.Victoria Gitman - 2008 - Journal of Symbolic Logic 73 (3):845-860.
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.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
On completing ordered fields.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 274--278.
The cadaver's pulse : film theory's construction of the viewer and the real.Scott MacKenzie - unknown
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras.Bas Spitters - 2012 - Foundations of Physics 42 (7):896-908.
Remarks on the nonstandard real axis.Elias Zakon - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 195--227.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
Boolean models and nonstandard analysis.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 87--92.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.

Analytics

Added to PP
2014-01-16

Downloads
12 (#1,081,406)

6 months
3 (#965,065)

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