11 found
Order:
  1.  22
    (1 other version)A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami . Matématičéskij sbornik, n.s. vol. 50 , pp. 257–266.Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):393-394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  36
    Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 , pp. 161–183.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
  3.  23
    Ax James. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 , pp. 239–271.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
  4.  26
    Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.James P. Jones, Verena H. Dyson, John C. Shepherdson & J. P. Jones - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  5.  44
    A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 , 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 , pp. 77–129. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
  6.  60
    A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 , 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 , pp. 65–68. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  59
    Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 , pp. 139–140. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):163.
  8.  66
    Review: A. I. Mal'cev, Lisa Rosenblatt, On Recursive Abelian Groups. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-649.
  9.  45
    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. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  32
    Wells B. F. III. 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. [REVIEW]Verena H. Dyson - 1975 - Journal of Symbolic Logic 40 (4):640-650.
  11.  34
    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. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark