Mathematical logic

Reading, Mass.,: Addison-Wesley (1967)
  Copy   BIBTEX

Abstract

8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index

Categories

Keywords

Reprint years

2001

Call number

QA9.S52

ISBN(s)

1568811357   9781568811352   0201070286   9781351433303

DOI

10.2307/2271905
View all bargains

Buy this book

Links

PhilArchive



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

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

19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.

Analytics

Added to PP
2009-09-15

Downloads
51 (#304,551)

6 months
15 (#159,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.

View all 205 citations / Add more citations

References found in this work

No references found.

Add more references