Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 , pp. 135–145 [Book Review]

Journal of Symbolic Logic 30 (3):391-392 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269671

Links

PhilArchive



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

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: Raymond M. Smullyan, Creativity and Effective Inseparability. [REVIEW]J. P. Cleave - 1965 - Journal of Symbolic Logic 30 (3):391-392.
Creativity and Effective Inseparability.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (3):391-392.
Raymond M. Smullyan. Extended canonical systems. Proceedings of the American Mathematical Society, vol. 12 , pp. 440–442. [REVIEW]James H. Bennett - 1968 - Journal of Symbolic Logic 32 (4):524.
Undecidability and recursive inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
Review: Raymond M. Smullyan, Undecidability and Recursive Inseparability. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):165-165.
To Mock a Mockingbird: And Other Logic Puzzles.Raymond M. Smullyan - 1985 - New York: Oxford University Press.
Smullyan Raymond M.. Undecidability and recursive inseparability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 143–147. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):165-165.
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 , pp. 111–140. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
Peter J. Nyikos. A provisional solution to the normal Moore space problem_. Proceedings of the American Mathematical Society, vol. 78 (1980), pp. 429–435. - William G. Fleissner. _If all normal Moore spaces are metrizable, then there is an inner model with a measurable cardinal_. Transactions of the American Mathematical Society, vol. 273 (1982), pp. 365–373. - Alan Dow, Franklin D. Tall, and William A. R. Weiss. _New proofs of the consistency of the normal Moore space conjecture I_. Topology and its applications, vol. 37 (1990), pp. 33–51. - Zoltán Balogh. _On collectionwise normality of locally compact, normal spaces. Transactions of the American Mathematical Society, vol. 323 (1991), pp. 389–411. [REVIEW]Gary Gruenhage - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 , pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 , pp. 394–402. [REVIEW]Lars Löfgren - 1972 - Journal of Symbolic Logic 37 (2):411.
Mind Tools. The Five Levels of Mathematical Reality.Raymond M. Smullyan & Rudy Rucker - 1988 - Journal of Symbolic Logic 53 (4):1254.
The Lady Or the Tiger?: And Other Logic Puzzles, Including a Mathematical Novel that Features Gödel's Great Discovery.Raymond M. Smullyan - 1982 - Alfred a Knopf.
Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,080,675)

6 months
1 (#1,462,504)

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