13 results
B. F. WellsIII . Translator's foreword. The metamathematics of algebraic systems, Collected papers: 1936-1967, by Anatoliï Ivanovič Mal'cev, translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III, Studies in logic and the foundations of mathematics, vol. 66, North-Holland Publishing Company, Amsterdam and London 1971, pp. vii–x.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 640-650
- Print publication:
- December 1975
-
- Article
- Export citation
Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 (1971), pp. 139–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- March 1973
-
- Article
- Export citation
James Ax. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 (1968), pp. 239–271.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-163
- Print publication:
- March 1973
-
- Article
- Export citation
James Ax. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 (1967), pp. 161–183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
- Print publication:
- March 1973
-
- Article
- Export citation
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A. I. Mal′cév. O rékursivnyh abélévyh gruppah. Doklady Akadémii Nauk SSSR, vol. 146 (1962), pp. 1009–1012.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
- Print publication:
- December 1966
-
- Article
- Export citation
A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 (1961), pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 (1961), pp. 77–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-649
- Print publication:
- December 1966
-
- Article
- Export citation
A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 (1962), pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 (1962), pp. 987–991.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
- Print publication:
- December 1966
-
- Article
- Export citation
A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami (On a correspondence between rings and groups). Matématičéskij sbornik, n.s. vol. 50 (1960), pp. 257–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cev. Efféktivnaá néotdélimost′ množéslva toždéstvénno istinnyh i množèstva konéčno oprovéržimyh formul eléméntamyh téorij. Doklady Akadémii Nauk SSSR, vol. 139 (1961), pp. 802–805. - A. I. Mal′cev. Effective inseparability of the set of identically true from the set of finitely refutable formulae of certain elementary theories. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 4 (for 1961, pub. 1962), pp. 1005–1008.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 (1961), pp. 714–717.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 (1960), pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 (1960), pp. 65–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1965
-
- Article
- Export citation