Solution of a Problem of Tarski

, &
Journal of Symbolic Logic 23 (4):445-447 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964038

Links

PhilArchive



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

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

Myhill John. Solution of a problem of Tarski. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (4):445-447.
Solution of a problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.
Review: John Myhill, Solution of a Problem of Tarski; Andrzej Ehrenfeucht, Two Theories with Axioms Built by means of Pleonasms; Hilary Putnam, Decidability and Essential Undecidability. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (4):445-447.
A Modeltheoretic Solution to a Problem of Tarski.Tarek Sayed Ahmed - 2002 - Mathematical Logic Quarterly 48 (3):343-355.
Review: Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin, Alfred Tarski, Elementary Theories with Models without Automorphisms. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338-338.
Review: E. Mark Gold, Limiting Recursion; Hilary Putnam, Trial and Error Predicates and the Solution to a Problem of Mostowski. [REVIEW]Norman Shapiro - 1971 - Journal of Symbolic Logic 36 (2):342-342.
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 , pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 , pp. 49–57. [REVIEW]Norman Shapiro - 1971 - Journal of Symbolic Logic 36 (2):342-342.
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338.
Hilary Putnam. An unsolvable problem in number theory. The Journal of symbolic logic, vol. 25 no. 3 , pp. 220–232.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):601-602.
Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 , pp. 183–187.Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):601.

Analytics

Added to PP
2017-02-21

Downloads
9 (#1,269,748)

6 months
2 (#1,445,320)

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