Question: Were Pavel Urysohn and Leonid Levin known for the same type of work?

full_context: Document 1: Alexandrov's uniqueness theorem: The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each other also have distinct metric spaces of surface distances, and it characterizes the metric spaces that come from the surface distances on polyhedra. It is named after Soviet mathematician Aleksandr Danilovich Aleksandrov, who published it in the 1940s.
Document 2: Leonid Levin: Leonid Anatolievich Levin ( ; Russian: Леони́д Анато́льевич Ле́вин ; Ukrainian: Леоні́д Анато́лійович Ле́він ; born November 2, 1948) is a Soviet-American computer scientist.
Document 3: Andrey Kolmogorov: Andrey Nikolaevich Kolmogorov (Russian: Андрей Николаевич Колмогоров ; ] , 25 April 1903 – 20 October 1987) was a 20th-century Soviet mathematician who made significant contributions to the mathematics of probability theory, topology, intuitionistic logic, turbulence, classical mechanics, algorithmic information theory and computational complexity.
Document 4: Steven Rudich: Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs were unlikely to answer many of the important problems in computational complexity theory. For this work, they were awarded the Gödel prize in 2007. He also co-authored a paper demonstrating that all currently known NP-complete problems remain NP-complete even under AC or NC reductions.
Document 5: Egorov's theorem: In measure theory, an area of mathematics, Egorov's theorem establishes a condition for the uniform convergence of a pointwise convergent sequence of measurable functions. It is also named Severini–Egoroff theorem or Severini–Egorov theorem, after Carlo Severini, an Italian mathematician, and Dmitri Egorov, a Russian physicist and geometer, who published independent proofs respectively in 1910 and 1911.
Document 6: Yuri Manin: Yuri Ivanovitch Manin (Russian: Ю́рий Ива́нович Ма́нин ; born 1937) is a Soviet/Russian/German mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book "Computable and Uncomputable".
Document 7: Alexandroff extension: In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named for the Russian mathematician Pavel Alexandrov.
Document 8: Nikolay Brusentsov: Nikolay Petrovich Brusentsov (Russian: Никола́й Петро́вич Брусенцо́в ; 7 February 1925 in Kamenskoe, Ukrainian SSR – 4 December 2014) was a Russian computer scientist, most famous for having built a (balanced) ternary computer, Setun, together with Sergei Sobolev in 1958.
Document 9: Pavel Alexandrov: Pavel Sergeyevich Alexandrov (Russian: Па́вел Серге́евич Алекса́ндров ), sometimes romanized Paul Alexandroff or Aleksandrov (7 May 1896 – 16 November 1982), was a Soviet mathematician. He wrote about three hundred papers, making important contributions to set theory and topology.
Document 10: Alexander Razborov: Aleksandr Aleksandrovich Razborov (Russian: Алекса́ндр Алекса́ндрович Разбо́ров ; born February 16, 1963), sometimes known as Sasha Razborov, is a Soviet and Russian mathematician and computational theorist.
Document 11: Yuri Matiyasevich: Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич ; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).
Document 12: Urysohn universal space: The Urysohn universal space is a certain metric space that contains all separable metric spaces in a particularly nice manner. This mathematics concept is due to Pavel Samuilovich Urysohn.
Document 13: Nicolai V. Krylov: Nicolai Vladimirovich Krylov (Russian: Никола́й Влади́мирович Крыло́в ; born 5 June 1941) is a Russian mathematician specializing in partial differential equations, particularly stochastic partial differential equations and diffusion processes. Krylov studied at Lomonosov University, where he in 1966 under E. B. Dynkin attained a doctoral candidate title (similar to a PhD) and in 1973 a Russian doctoral degree (somewhat more prestigious than a PhD). He taught from 1966 to 1990 at the Lomonosov University and is since 1990 a professor at the University of Minnesota. At the beginning of his career (starting from 1963) he, in collaboration with Dynkin, worked on nonlinear stochastic control theory, making advances in the study of convex, nonlinear partial equations of 2nd order ("i.e." Bellman equations), which were examined with stochastic methods. This led to the Evans-Krylov theory, for which he received with Lawrence C. Evans in 2004 the Leroy P. Steele Prize of the American Mathematical Society (for work done simultaneously and independently by both Krylov and Evans). They proved the second order differentiability (Hölder continuity of the second derivative) of the solutions of convex, completely nonlinear, second order elliptical partial differential equations and thus the existence of "classical solutions" (Theorem of Evans-Krylov). He was in 1978 at Helsinki and in 1986 at Berkeley an Invited Speaker for the ICM. He received the Humboldt Research Award in 2001. In 1993 he was elected a member of the American Academy of Arts and Sciences (1993). He should not be confused with the mathematician Nikolay M. Krylov.
Document 14: Aleksandrov–Rassias problem: The theory of isometries in the framework of Banach spaces has its beginning in a paper by Stanisław Mazur and Stanisław M. Ulam in 1932. They proved that each isometry of a normed real linear space onto a normed real linear space is a linear mapping up to translation. In 1970, Aleksandr Danilovich Aleksandrov asked whether the existence of a single conservative distance for some mapping implies that it is an isometry. Themistocles M. Rassias posed the following problem:
Document 15: Pavel Urysohn: Pavel Samuilovich Urysohn (Па́вел Самуи́лович Урысо́н ) (February 3, 1898 – August 17, 1924) was a Soviet mathematician of Jewish origin who is best known for his contributions in dimension theory, and for developing Urysohn's Metrization Theorem and Urysohn's Lemma, both of which are fundamental results in topology. His name is also commemorated in the terms Urysohn universal space, Fréchet–Urysohn space, Menger–Urysohn dimension and Urysohn integral equation. He and Pavel Alexandrov formulated the modern definition of compactness in 1923.
ground_truth: no