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.

Ylannis N. Moschovakis

doi:10.2307/2271282

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

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

R. M. Friedberg. The fine structure of degrees of unsolvability of recursively enumerable sets. 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. 404–406.

Journal of Symbolic Logic ◽

10.2307/2271602 ◽

1963 ◽

Vol 28 (2) ◽

pp. 166-166 ◽

Cited By ~ 2

Author(s):

Gerald E. Sacks

Keyword(s):

Fine Structure ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Recursively Enumerable ◽

Recursively Enumerable Sets ◽

Degrees Of Unsolvability

Download Full-text

Richard M. Friedberg. A criterion for completeness of degrees of unsolvability. The journal of symbolic logic, vol. 22 no. 2 (1957) pp. 159–160.

Journal of Symbolic Logic ◽

10.2307/2964226 ◽

1960 ◽

Vol 25 (2) ◽

pp. 165-165

Author(s):

Marian Boykan Pour-El

Keyword(s):

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

Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 (1968), pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 680–692.

Journal of Symbolic Logic ◽

10.2307/2272378 ◽

1974 ◽

Vol 39 (1) ◽

pp. 185-186

Author(s):

Ann Yasuhara

Keyword(s):

Symbolic Logic ◽

Correspondence Problem ◽

Formal Grammars ◽

Computing Machinery ◽

Degrees Of Unsolvability

Download Full-text

Hartley RogersJr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 (1959). pp. 125–140. - Hartley RogersJr., Computing degrees of unsolvability. 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. 277–283.

Journal of Symbolic Logic ◽

10.2307/2963571 ◽

1960 ◽

Vol 25 (4) ◽

pp. 363-364

Author(s):

Steven Orey

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

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

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

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