Boolean-Valued Models and Independence Proofs in Set Theory

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.

Analytics

Added to PP
2015-02-05

Downloads
56 (#293,398)

6 months
5 (#711,233)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

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.
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references