Review: A. Janiczak, Undecidability of Some Simple Formalized Theories [Book Review]

Journal of Symbolic Logic 22 (2):217-217 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964197

Links

PhilArchive



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

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: Antoni Janiczak, A Remark Concerning Decidability of Complete Theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
A remark concerning decidability of complete theories.Antoni Janiczak - 1950 - Journal of Symbolic Logic 15 (4):277-279.
Review: A. I. Mal'cev, Sibirskij mathemmaticeskij:(O nerazresimosti elementarnyh teorij nekotoryh polej):On the Undecidability of the Elementary Theories of Certain Fields; A. I. Mal'cev, Sibirskij mathemmaticeskij:(Zamecanie k stat'e "O nerazreimosti elementarnyh teorij nekotoryh polej"):Remark on the Paper "On the Undecidability of the Elementary Theories of Certain Fields". [REVIEW]B. F. Wells - 1965 - Journal of Symbolic Logic 30 (3):395-397.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Noncomputability, unpredictability, undecidability, and unsolvability in economic and finance theories.Ying-Fang Kao, V. Ragupathy, K. Vela Velupillai & Stefano Zambelli - 2013 - Complexity 18 (1):51-55.
Review: Michael O. Rabin, Yehoshua Bar-Hillel, A Simple Method for Undecidability Proofs and Some Applications. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150-150.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
Undecidability in the imitation game.Y. Sato & T. Ikegami - 2004 - Minds and Machines 14 (2):133-43.
Review: A. Janiczak, On the Reducibility of Decision Problems. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
Review: Andrzej Grzegorczyk, Undecidability of Some Topological Theories. [REVIEW]Hartley Rogers - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,385,962)

6 months
1 (#1,469,946)

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