Set Theory. An Introduction to Independence Proofs

&
Journal of Symbolic Logic 51 (2):462 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274070

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: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.
Kunen Kenneth. Set theory. An introduction to independence proofs. Studies in logic and the foundations of mathematics, vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xvi + 313 pp. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (2):462-464.
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
Independence and consistency proofs in quadratic form theory.James E. Baumgartner & Otmar Spinas - 1991 - Journal of Symbolic Logic 56 (4):1195-1211.
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.
Set Theory : Boolean-Valued Models and Independence Proofs: Boolean-Valued Models and Independence Proofs.John L. Bell - 2005 - Oxford University Press UK.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge 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.
Independence-friendly logic: a game-theoretic approach.Allen L. Mann - 2011 - New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster.
Independence Proofs and the Theory of Implication.V. F. Lenzen - 1919 - The Monist 29 (1):152-160.
Independence Proofs and the Theory of Implication.P. J. Daniell - 1919 - The Monist 29 (3):451-453.
Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Boolean‐valued models and independence proofs in set theory.Mary Tiles - 1979 - Philosophical Books 20 (3):122-124.

Analytics

Added to PP
2013-11-03

Downloads
26 (#595,031)

6 months
13 (#182,749)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.
In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.
Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.
Abstraction and Grounding.Louis deRosset & Øystein Linnebo - forthcoming - Philosophy and Phenomenological Research.

View all 136 citations / Add more citations

References found in this work

No references found.

Add more references