Undecidability of Some Simple Formalized Theories

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/2964196

Links

PhilArchive



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

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: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-217.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.
n-Simple theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
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.
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.
Random Amalgamation of Simple Theories.Akito Tsuboi - 2001 - Mathematical Logic Quarterly 47 (1):45-50.
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.
A note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
Group configurations and germs in simple theories.Itay Ben-Yaacov - 2002 - Journal of Symbolic Logic 67 (4):1581-1600.
Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theory.Karen Crawley - unknown
On dividing chains in simple theories.Steffen Lewitzka & Ruy J. G. B. De Queiroz - 2005 - Archive for Mathematical Logic 44 (7):897-911.

Analytics

Added to PP
2015-02-05

Downloads
16 (#855,572)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

There Are No Minimal Effectively Inseparable Theories.Yong Cheng - 2023 - Notre Dame Journal of Formal Logic 64 (4):425-439.
Second-order logic on equivalence relations.Georgi Georgiev & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):229-246.

Add more citations

References found in this work

No references found.

Add more references