Categories

Keywords

Reprint years

DOI

10.2307/2272399

Other Versions

No versions found

Links

PhilArchive

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

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 , 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 , 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 , pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system . Proceedings of the National Academy of Sciences, vol. 53 , 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 , pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely p.J. C. Shepherdson - 1968 - Journal of Symbolic Logic 33 (2):296-297.
Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49. [REVIEW]Kenneth Kunen - 1975 - Journal of Symbolic Logic 40 (1):93-94.
Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 69–80.Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 , pp. 149–175. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412.H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
Montague R.. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 63–86. [REVIEW]Carl E. Gordon - 1973 - Journal of Symbolic Logic 38 (1):158-159.
William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 , pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 , pp. 392–396. [REVIEW]Charles E. Hughes - 1974 - Journal of Symbolic Logic 39 (1):184-185.
N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.Robert McNaughton - 1968 - Journal of Symbolic Logic 33 (3):466.
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198.C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.

Analytics

Added to PP
2013-11-03

Downloads
251 (#164,807)

6 months
29 (#326,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fragments of first order logic, I: Universal horn logic.George F. McNulty - 1977 - Journal of Symbolic Logic 42 (2):221-237.

Add more citations

References found in this work

No references found.

Add more references