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)

Categories

Keywords

Reprint years

DOI

10.2307/2273926

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Set Theory : Boolean-Valued Models and Independence Proofs: Boolean-Valued Models and Independence Proofs.John L. Bell - 2005 - Oxford University Press UK.
Review: J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory; Dana Scott, Foreword. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
Review: J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory; Dana Scott, Foreword. [REVIEW]Thomas Jech - 1981 - Journal of Symbolic Logic 46 (1):165-165.
John L. BELL. Set theory: Boolean-valued models and independence proofs. Oxford: Clarendon press, 2005. Oxford logic guides, no. 47. pp. XXII + 191. ISBN 0-19-856852-5, 987-0-19-856852-0 (pbk). [REVIEW]Patricia Marino - 2006 - Philosophia Mathematica 14 (3):392-394.
Boolean‐valued models and independence proofs in set theory.Mary Tiles - 1979 - Philosophical Books 20 (3):122-124.
Simplified Independence Proofs. Boolean Valued Models of Set Theory.J. Barkley Rosser - 1974 - Journal of Symbolic Logic 39 (2):328-329.
Review: J. Barkley Rosser, Simplified Independence Proofs. Boolean Valued Models of Set Theory. [REVIEW]Aleksander Rutkowski - 1974 - Journal of Symbolic Logic 39 (2):328-329.
Bell J. L.. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford 1977, xviii + 126 pp. [REVIEW]Thomas Jech - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Bell J. L.. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York 1985, xx + 165 pp.Scott Dana. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
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
19 (#778,470)

6 months
8 (#342,364)

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