Yury Yershov

Yuri Leonidovich Ershov (Russian Юрий Леонидович Ершов, English Yury Ershov, born January 5, 1940 in Novosibirsk ) is a Russian mathematician who deals with mathematical logic.

Yershov 1963 at the University of Novosibirsk doctorate ( "On the decidability of elementary theories " ) under Anatoly Maltsev and became in 1967 professor of algebra and mathematical logic and Director of mathematical logic. 1973 to 1976 he was dean of the Mathematics Department and in 1985 he became rector of the university. He is currently Director of the Sobolev Institute in Novosibirsk.

Yershov dealt with mathematical logic, model theory and number theory.

He was since 1970 a corresponding member of the Russian Academy of Sciences and is its member since 1990. He is also in the Siberian Division and since 1986 there in the Bureau. Since 1968 he is member of the Association of Symbolic Logic. In 1970 he was invited speaker at the International Congress of Mathematicians in Nice ( La theory of enumerations ) and 1966 in Moscow (elementary body theories ). In 2013 he was awarded the Demidov Prize.

He should not be confused with the computer scientist Andrei Petrovich Ershov, developed in 1955 one of the first programming languages.

Writings

• Theory of numbers, Nauka, 1977 ( Russian)
• With SSGoncharov: Constructive Models, New York, Kluwer 2000
• With EAPalyutin: Mathematical Logic, Nauka, Moscow 1987 ( Russian), Mathematical Logic, ME 1990 ( English)
• Definability and Computability, New York, Plenum 1996
• Problems of decidability and constructive models, Nauka, 1980 ( Russian)
• Recursive Model Theory, 2 volumes, Elsevier 1998
• Multi -valued fields, Kluwer 2001