Alfred Tarski and undecidable theories

Journal of Symbolic Logic 51 (4):890-898 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273902

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
V. L. MurskiĬ. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 , pp. 183–186. , pp. 520–522.) - George F. McNulty. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 , pp. 193–259. - George F. McNulty. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 , pp. 589–604. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
Review: Ralph N. McKenzie, George F. McNulty, Walter F. Taylor, Algebras, Lattices, Varieties. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
Review: Alfred Tarski, On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth; Andrzej Mostowski, Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. [REVIEW]Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (3):115-116.
Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
Alfred Tarski and decidable theories.John Doner & Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):20-35.
An Example of Two Weak Essentially Undecidable Theories F and F.A. Grzegorczyk - 1962 - Journal of Symbolic Logic 27 (3):358-358.

Analytics

Added to PP
2009-01-28

Downloads
33 (#125,351)

6 months
14 (#987,135)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A detailed argument for the Post-Linial theorems.Mary Katherine Yntema - 1964 - Notre Dame Journal of Formal Logic 5 (1):37-50.
Results regarding the axiomatization of partial propositional calculi.W. E. Singletary - 1968 - Notre Dame Journal of Formal Logic 9 (3):193-211.

Add more references