Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Verena H. Dyson is active.

Publication


Featured researches published by Verena H. Dyson.


Journal of Symbolic Logic | 1975

Review: Anatolii Ivanovic Mal'cev, B. F. Wells, Benjamin Franklin Wells, The Mathematics of Algebraic Systems, Collected Papers 1936-1967

Verena H. Dyson


Journal of Symbolic Logic | 1973

Review: James Ax, Solving Diophantine Problems Modulo Every Prime

Verena H. Dyson


Journal of Symbolic Logic | 1973

Review: Newcomb Greenleaf, Fields in Which Varieties have Rational Points: a Note on a Problem of Ax

Verena H. Dyson


Journal of Symbolic Logic | 1973

Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 (1967), pp. 161–183.

Verena H. Dyson


Journal of Symbolic Logic | 1973

Review: James Ax, The Elementary Theory of Finite Fields

Verena H. Dyson


Journal of Symbolic Logic | 1973

Greenleaf Newcomb. 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.

Verena H. Dyson


Journal of Symbolic Logic | 1969

Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories

Verena H. Dyson


Journal of Symbolic Logic | 1969

Vaught Robert L.. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, pp. 14–25.

Verena H. Dyson


Journal of Symbolic Logic | 1969

Review: W. Hanf, J. W. Addison, Leon Henkin, Alfred Tarski, Model-Theoretic Methods in the Study of Elementary Logic

Verena H. Dyson


Journal of Symbolic Logic | 1969

Hanf W.. Model-theoretic methods in the study of elementary logic. 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. 132–145.

Verena H. Dyson

Collaboration


Dive into the Verena H. Dyson's collaboration.

Researchain Logo
Decentralizing Knowledge