Boolean-Valued Models and Independence Proofs in Set Theory

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

Authors
Dana Scott
Carnegie Mellon University
John L. Bell
University of Western Ontario
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273926
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Believing the Axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
The Axiomatization of Randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
V = L and Intuitive Plausibility in Set Theory. A Case Study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.
Topos Theory in Montréal in the 1970s: My Personal Involvement.Gonzalo E. Reyes - 2019 - History and Philosophy of Logic 40 (4):389-402.

View all 17 citations / Add more citations

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):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 index
2017-02-21

Total views
4 ( #1,140,222 of 2,285,696 )

Recent downloads (6 months)
3 ( #416,003 of 2,285,696 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature