Theories with Effectively Inseparable Nuclei

Mathematical Logic Quarterly 6 (15-22):219-224 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19600061502

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

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

Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 , pp. 135–145. [REVIEW]J. P. Cleave - 1965 - Journal of Symbolic Logic 30 (3):391-392.
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.
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.
Review: Raymond M. Smullyan, First-Order Logic. [REVIEW]Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351-351.
Review: Raymond M. Smullyan, Extended Canonical Systems. [REVIEW]James H. Bennett - 1967 - Journal of Symbolic Logic 32 (4):524-524.
Review: Raymond M. Smullyan, Diagonalization and Self-Reference. [REVIEW]Lev Beklemishev - 1996 - Journal of Symbolic Logic 61 (3):1052-1055.
Review: Raymond M. Smullyan, Undecidability and Recursive Inseparability. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):165-165.

Analytics

Added to PP
2013-11-24

Downloads
43 (#522,046)

6 months
5 (#1,056,575)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
Decidability and essential undecidability.Hilary Putnam - 1957 - Journal of Symbolic Logic 22 (1):39-54.

View all 7 references / Add more references