Simplified Independence Proofs. Boolean Valued Models of Set Theory

Journal of Symbolic Logic 39 (2):328-329 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272649

Links

PhilArchive



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

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

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.
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
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.
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]Thomas Jech - 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.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
"J. Barkley Rosser" Simplified independence proofs".José Sanmartín Esplugues - 1974 - Teorema: International Journal of Philosophy 4 (1):137-141.
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.
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 32:103-109.
Two applications of Boolean models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.
Boolean‐Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Mathematical Logic Quarterly 32 (7‐9):117-130.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,025,624)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Eastern Model‐Theory for Boolean‐Valued Theories.George Georgescu & Iana Voiculescu - 1985 - Mathematical Logic Quarterly 31 (1‐6):79-88.
Eastern Model-Theory for Boolean-Valued Theories.George Georgescu & Iana Voiculescu - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):79-88.

Add more citations

References found in this work

No references found.

Add more references