Bell J. L.. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford 1977, xviii + 126 pp [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273271

Links

PhilArchive



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

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

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.
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.
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
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.
Set Theory : Boolean-Valued Models and Independence Proofs: Boolean-Valued Models and Independence Proofs.John L. Bell - 2005 - Oxford University Press UK.
Bell J. L.. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York 1988, xii + 267 pp. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
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.
Troelstra A. S.. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford 1977, ix + 170 pp. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp. [REVIEW]Randall Holmes - 1993 - Journal of Symbolic Logic 58 (2):725-728.
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp. [REVIEW]M. Randall Holmes - 1996 - Journal of Symbolic Logic 61 (4):1392-1393.
Shapiro Stewart. Foundations without foundationalism. A case for second-order logic. Oxford logic guides, no. 17. Clarendon Press, Oxford University Press, Oxford and New York 1991, xx + 277 pp. [REVIEW]John Burgess - 1993 - Journal of Symbolic Logic 58 (1):363-365.
Segerberg Krister. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York 1982, x + 152 pp. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
Rose H. E.. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York 1984, xiii + 191 pp. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.

Analytics

Added to PP
2016-06-30

Downloads
14 (#934,671)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references