ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
William W. Boone. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 616–623.
Journal of Symbolic Logic
◽
10.2307/2271316
◽
1963
◽
Vol 28
(4)
◽
pp. 292-292
Author(s):
Marian Boykan Pour-El
Keyword(s):
Word Problems
◽
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable
◽
Degrees Of Unsolvability
Get full-text (via PubEx)
Related Documents
Cited By
References
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84.
Journal of Symbolic Logic
◽
10.2307/2269900
◽
1968
◽
Vol 33
(2)
◽
pp. 296-297
Author(s):
J. C. Shepherdson
Keyword(s):
Word Problem
◽
Word Problems
◽
Nauk Sssr
◽
London Mathematical Society
◽
National Academy Of Sciences
◽
Doklady Akademii Nauk Sssr
◽
Finitely Presented Groups
◽
Recursively Enumerable
◽
Finitely Presented
◽
Degrees Of Unsolvability
Get full-text (via PubEx)
Hillary Putnam and R. M. Smullyan. Exact separation of recursively enumerable sets within theories. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 574–577.
Journal of Symbolic Logic
◽
10.2307/2963568
◽
1960
◽
Vol 25
(4)
◽
pp. 362-362
Author(s):
William Hanf
Keyword(s):
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable
◽
Recursively Enumerable Sets
◽
Exact Separation
Get full-text (via PubEx)
A. A. Mučnik. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412. - A. A. Mučnik. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13.
Journal of Symbolic Logic
◽
10.2307/2270793
◽
1967
◽
Vol 32
(3)
◽
pp. 393-394
Author(s):
A. H. Lachlan
Keyword(s):
English Translation
◽
Effective Properties
◽
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable
◽
Recursively Enumerable Sets
Get full-text (via PubEx)
J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 495–501.
Journal of Symbolic Logic
◽
10.2307/2268087
◽
1955
◽
Vol 20
(1)
◽
pp. 73-74
Author(s):
Martin Davis
Keyword(s):
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable
◽
Recursively Enumerable Sets
Get full-text (via PubEx)
Emil L. Post. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 284–316.
Journal of Symbolic Logic
◽
10.2307/2267203
◽
1945
◽
Vol 10
(1)
◽
pp. 18-19
Author(s):
J. C. C. McKinsey
Keyword(s):
American Mathematical Society
◽
Decision Problems
◽
Mathematical Society
◽
Recursively Enumerable
◽
Recursively Enumerable Sets
◽
Positive Integers
Get full-text (via PubEx)
Robert I. Soare. Recursion theory and Dedekind cuts. Transactions of the American Mathematical Society, vol. 140 (1969), pp. 271–294. - Robert I. Soare. Cohesive sets and recursively enumerable Dedekind cuts. Pacific Journal of mathematics, vol. 31 (1969), pp. 215–231.
Journal of Symbolic Logic
◽
10.2307/2271527
◽
1971
◽
Vol 36
(1)
◽
pp. 148-148
Author(s):
Brian H. Mayoh
Keyword(s):
American Mathematical Society
◽
Recursion Theory
◽
Mathematical Society
◽
Recursively Enumerable
◽
Dedekind Cuts
Get full-text (via PubEx)
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 (for 1965, pub. 1966), pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 (1969), pp. 39–44.
Journal of Symbolic Logic
◽
10.2307/2272380
◽
1974
◽
Vol 39
(1)
◽
pp. 186-187
Author(s):
Forbes D. Lewis
Keyword(s):
American Mathematical Society
◽
Mathematical Society
◽
Symbolic Logic
◽
Recursive Functions
◽
Recursively Enumerable
◽
Index Sets
◽
Recursively Enumerable Sets
◽
Partial Recursive Functions
Get full-text (via PubEx)
K. I. Appel. No recursively enumerable set is the union of finitely many immune retraceable sets. Proceedings of the American Mathematical Society, vol. 18 (1967). pp. 279–281.
Journal of Symbolic Logic
◽
10.2307/2271403
◽
1969
◽
Vol 33
(4)
◽
pp. 621-621
Author(s):
C. E. M. Yates
Keyword(s):
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable Set
◽
Recursively Enumerable
Get full-text (via PubEx)
J. C. E. Dekker and J. Myhill. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 (1958), pp. 25–59.
Journal of Symbolic Logic
◽
10.2307/2963695
◽
1962
◽
Vol 27
(1)
◽
pp. 84-84
Author(s):
Martin Davis
Keyword(s):
American Mathematical Society
◽
Mathematical Society
◽
Recursively Enumerable
◽
Recursively Enumerable Sets
Get full-text (via PubEx)
B. H. Mayoh. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1038–1039.
Journal of Symbolic Logic
◽
10.2307/2270003
◽
1971
◽
Vol 36
(3)
◽
pp. 541-541
Author(s):
F. B. Cannonito
Keyword(s):
Word Problems
◽
American Mathematical Society
◽
Mathematical Society
◽
Solvable Word
Get full-text (via PubEx)
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close