Alfred Tarski and decidable theories

&
Journal of Symbolic Logic 53 (1):20-35 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274425

Other Versions

No versions found

Links

PhilArchive



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

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

Alfred Tarski and undecidable theories.George F. McNulty - 1986 - Journal of Symbolic Logic 51 (4):890-898.
Review: Wilfrid Hodges, Model Theory. [REVIEW]Anand Pillay - 1995 - Journal of Symbolic Logic 60 (2):689-691.
Review: Wilfrid Hodges, Building Models by Games. [REVIEW]Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (2):752-753.
Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
Wilfrid Hodges. Logic. Pelican books. Penguin Books, Harmondsworth, England, 1977, 331 pp. [REVIEW]Stephen Leeds - 1980 - Journal of Symbolic Logic 45 (2):382-383.
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.
Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.

Analytics

Added to PP
2009-01-28

Downloads
70 (#303,577)

6 months
12 (#317,477)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Wilfrid Hodges
British Academy
John Doner
University of California at Santa Barbara

Citations of this work

Online, computable and punctual structure theory.Matthew Askes & Rod Downey - 2023 - Logic Journal of the IGPL 31 (6):1251-1293.

Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Zur genealogie der zahl.F. F. Husser - 1958 - Dialectica 12 (2):146-184.

View all 6 references / Add more references