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.

Ann Yasuhara

doi:10.2307/2272378

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

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

Degrees of Unsolvability in Formal Grammars

Journal of the ACM ◽

10.1145/321479.321490 ◽

1968 ◽

Vol 15 (4) ◽

pp. 680-692 ◽

Cited By ~ 8

Author(s):

Dennis F. Cudia ◽

Wilson E. Singletary

Keyword(s):

Formal Grammars ◽

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

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

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

Solomon Feferman. Degrees of unsolvability associated with classes of formalized theories. The journal of symbolic logic, vol. 22 (1957), pp. 161–175. - J. R. Shoenfield. Degrees of formal systems. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 389–392.

Journal of Symbolic Logic ◽

10.2307/2963697 ◽

1962 ◽

Vol 27 (1) ◽

pp. 85-86

Author(s):

Hartley Rogers

Keyword(s):

Symbolic Logic ◽

Formal Systems ◽

Degrees Of Unsolvability

Download Full-text

Degrees of Unsolvability

10.1016/s0304-0208(08)x7131-2 ◽

1971 ◽

Keyword(s):

Degrees Of Unsolvability

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