Boolean-Valued Models and Independence Proofs in Set Theory

Journal of Symbolic Logic 46 (1):165-165 (1981)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

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

Through your library

Analytics

Added to PP
2015-02-05

Downloads
46 (#250,424)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dana Scott
Carnegie Mellon University
John L. Bell
University of Western Ontario

References found in this work

No references found.

Add more references

Citations of this work

From Absolute to Local Mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
Heyting-Valued Interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Categories, Toposes and Sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
Two Episodes in the Unification of Logic and Topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.

View all 30 citations / Add more citations

Similar books and articles

Heyting-Valued Interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Complete Topoi Representing Models of Set Theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.
Boolean Universes Above Boolean Models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Two Applications of Boolean Models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.
Boolean‐Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Mathematical Logic Quarterly 32 (7‐9):117-130.