John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.

Solomon Feferman

doi:10.2307/2964038

John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.

Journal of Symbolic Logic ◽

10.2307/2964038 ◽

1958 ◽

Vol 23 (4) ◽

pp. 445-447

Author(s):

Solomon Feferman

Keyword(s):

Hilary Putnam ◽

Symbolic Logic

Download Full-text

Gustav Hensel and Hilary Putnam. On the notational independence of various hierarchies of degrees of unsolvability. The journal of symbolic logic, vol. 30 (1965), pp. 69–86.

Journal of Symbolic Logic ◽

10.2307/2271282 ◽

1967 ◽

Vol 32 (1) ◽

pp. 124-125

Author(s):

Ylannis N. Moschovakis

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Degrees Of Unsolvability

Download Full-text

Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 183–187.

Journal of Symbolic Logic ◽

10.2307/2272751 ◽

1972 ◽

Vol 37 (3) ◽

pp. 601-601

Author(s):

Julia Robinson

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Martin Davis

Download Full-text

Hilary Putnam. An unsolvable problem in number theory. The Journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 220–232.

Journal of Symbolic Logic ◽

10.2307/2272752 ◽

1972 ◽

Vol 37 (3) ◽

pp. 601-602

Author(s):

Alonzo Church

Keyword(s):

Number Theory ◽

Hilary Putnam ◽

Symbolic Logic ◽

Unsolvable Problem

Download Full-text

George Boolos and Hilary Putnam. Degrees of unsolvability of constructible sets of integers. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 497–513.

Journal of Symbolic Logic ◽

10.2307/2273076 ◽

1973 ◽

Vol 38 (3) ◽

pp. 527-528

Author(s):

A. S. Kechris

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Constructible Sets ◽

George Boolos ◽

Degrees Of Unsolvability

Download Full-text

Hilary Putnam. Axioms of class existence. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 271–274.

Journal of Symbolic Logic ◽

10.2307/2269731 ◽

1966 ◽

Vol 31 (4) ◽

pp. 663-663

Author(s):

A. Hajnal

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division

Download Full-text

E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 (1965), pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 (1965), pp. 49–57.

Journal of Symbolic Logic ◽

10.2307/2270310 ◽

1971 ◽

Vol 36 (2) ◽

pp. 342-342 ◽

Cited By ~ 11

Author(s):

Norman Shapiro

Keyword(s):

Hilary Putnam ◽

Symbolic Logic ◽

Trial And Error

Download Full-text

Hilary Putnam

10.1017/cbo9780511614187 ◽

2005 ◽

Cited By ~ 7

Keyword(s):

Hilary Putnam

Download Full-text

2004 Spring Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1102022666 ◽

2004 ◽

Vol 10 (3) ◽

pp. 438-446

Author(s):

Michael Kremer

Keyword(s):

Symbolic Logic ◽

Spring Meeting

Download Full-text

Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1231081468 ◽

2008 ◽

Vol 14 (4) ◽

pp. 553-558

Keyword(s):

Symbolic Logic

Download Full-text

European Summer Meeting of the Association for Symbolic Logic, Helsinki, 1990

Journal of Symbolic Logic ◽

10.2178/jsl/1183743771 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1115-1150

Keyword(s):

Symbolic Logic

Download Full-text