Robert Martin Solovay

Robert Martin Solovay
	Robert Martin SolovayRobert Solovay em 1972
Nascimento	15 de dezembro de 1938 (85 anos); Brooklyn
Nacionalidade	Estadunidense
Alma mater	Universidade de Chicago
Orientador(es)(as)	Saunders Mac Lane
Orientado(a)(s)	Matthew Foreman, Kenneth McAloon, Judith Roitman, William Hugh Woodin
Instituições	Universidade da Califórnia em Berkeley
Campo(s)	Matemática

Robert Martin Solovay (Brooklyn, 15 de dezembro de 1938) é um matemático estadunidense. É especialista em teoria dos conjuntos.

Solovay obteve o Ph.D. na Universidade de Chicago em 1964, orientado por Saunders Mac Lane, coma tese A Functorial Form of the Differentiable Riemann–Roch theorem. Solovay dispendeu sua carreira na Universidade da Califórnia em Berkeley, onde seus mais notáveis alunos de doutorado foram William Hugh Woodin e Matthew Foreman.

Dentre as realizações de Solovay estão:

O modelo de Solovay, mostrando que se é assumida a existência de um cardinal inacessível, então a afirmativa "todo conjunto de números reais é Lebesgue mensurável" é consistente com os axiomas de Zermelo-Fraenkel sem o axioma da escolha;
Prova que se $\kappa$ é um cardinal regular incontável, e $S\subseteq \kappa$ é um conjunto estacionário, então $S$ pode ser decomposto na união de $\kappa$ conjuntos estacionariamente disjuntos.

Publicações selecionadas[editar | editar código-fonte]

Solovay, Robert M. (1970). «A model of set-theory in which every set of reals is Lebesgue measurable». Annals of Mathematics. Second Series. 92 (1): 1–56. doi:10.2307/1970696
Solovay, Robert M. (1967). «A nonconstructible Δ¹₃ set of integers». American Mathematical Society. Transactions of the American Mathematical Society. 127 (1): 50–75. JSTOR 1994631. doi:10.2307/1994631
Solovay, Robert M. and Volker Strassen (1977). «A fast Monte-Carlo test for primality». SIAM Journal on Computing. 6 (1): 84–85. doi:10.1137/0206006

Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.