Boolean-Valued Models and Independence Proofs in Set Theory

Journal of Symbolic Logic 51 (4):1076-1077 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,446

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 - 1981 - Journal of Symbolic Logic 46 (1):165-165.
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.
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.

Analytics

Added to PP
2017-02-21

Downloads
14 (#835,473)

6 months
3 (#426,595)

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

Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
Cohen and set theory.Akihiro Kanamori - 2008 - Bulletin of Symbolic Logic 14 (3):351-378.
The axiomatization of randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.

View all 29 citations / Add more citations

References found in this work

No references found.

Add more references