Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem [Book Review]

Notre Dame Journal of Formal Logic 38 (3):475-480 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039700750

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

Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Non-classical logics and the independence results of set theory.Melvin Fitting - 1972 - Theoria 38 (3):133-142.
Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Diagonalization and self-reference.Raymond Merrill Smullyan - 1994 - New York: Clarendon Press.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Continuum hypothesis as a model-theoretical problem.Jaakko Hintikka - unknown
Bilattices and the theory of truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Forster and Sober on the curve-fitting problem.André Kukla - 1995 - British Journal for the Philosophy of Science 46 (2):248-252.
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Notes on the mathematical aspects of Kripke’s theory of truth.Melvin Fitting - 1986 - Notre Dame Journal of Formal Logic 27 (1):75-88.
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.
Justification logic.Melvin Fitting - manuscript

Analytics

Added to PP
2010-08-24

Downloads
75 (#215,841)

6 months
22 (#118,956)

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