Undecidable Theories

, &
Philosophy 30 (114):278-279 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

1955

Other Versions

edition Tarski, Alfred (1959) "Undecidable Theories". British Journal for the Philosophy of Science 9(36):321-327

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,099

External links

  • This entry has no external links. Add one.
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

TARSKI, A., MOSTOWSKI, A. and ROBINSON, R. M. - Undecidable Theories. [REVIEW]C. Lejewski - 1955 - Mind 64:279.
Alfred Tarski and undecidable theories.George F. McNulty - 1986 - Journal of Symbolic Logic 51 (4):890-898.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co..
Undecidable Theories. By Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson. (Amsterdam: North-Holland Publishing Company. 1953. Pp. 98. Price 18s.). [REVIEW]S. Körner - 1955 - Philosophy 30 (114):278-.
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.
Undecidable theories and reverse mathematics.James H. Schmerl - 2005 - In Stephen Simpson, Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--349.
On a Theorem of Cobham Concerning Undecidable Theories.Robert L. Vaught, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):126-127.
Some reduction classes and undecidable theories.V. A. Lifshits - 1969 - In A. O. Slisenko, Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 24--25.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,972,813)

6 months
1 (#1,658,835)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Where have all the theories gone?Margaret Morrison - 2007 - Philosophy of Science 74 (2):195-228.

View all 113 citations / Add more citations

References found in this work

No references found.

Add more references