Set Theory: An Introduction to Independence Proofs

North-Holland (1980) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Set Theory in Philosophy of Mathematics

Keywords

Reprint years

ISBN(s)

0444868399 0444564020

DOI

10.2307/2274070

View all bargains

Buy this book

$51.07 new (30% off)

$57.94 used (21% off)

Links

PhilArchive

Upload a copy of this work Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.

Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.

Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.

Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.

The foundations of arithmetic in finite bounded Zermelo set theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.

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.

Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.

Independence Proofs and the Theory of Implication.P. J. Daniell - 1919 - The Monist 29 (3):451-453.

Independence Proofs and the Theory of Implication.V. F. Lenzen - 1919 - The Monist 29 (1):152-160.

Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.

An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.

Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.

Constructibility and Decidability versus Domain Independence and Absoluteness.Arnon Avron - unknown

Analytics

Added to PP
2011-03-20

Downloads
62 (#262,361)

6 months
8 (#373,162)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.

Robustness, Reliability, and Overdetermination (1981).William C. Wimsatt - 2012 - In Lena Soler (ed.), Characterizing the robustness of science: after the practice turn in philosophy of science. New York: Springer Verlag. pp. 61-78.

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.

Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.

View all 161 citations / Add more citations

References found in this work

No references found.

Add more references