Suchergebnisse
Suchergebnisse:
Robert Martin Solovay (born December 15, 1938) is an American mathematician working in set theory . Biography. Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, with a dissertation on A Functorial Form of the Differentiable Riemann–Roch theorem. [1] .
Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt.
Robert M. Solovay. Job title: Professor Emeritus. Research area: Mathematical Logic. Bio: Year Appointed: 1965. Retired: 1994. Selected Publications: Solovay, Robert M. (2000). A version of Ω for which ZFC cannot predict a single bit. In Finite versus infinite Discrete Math. Theor. Comput. Sci. (Lond.) 323-334 Springer London. [ MR. ] [ GS?
Robert M. Solovay's Home Page. Voice Phone Number: (541) 686-4815 Email address: solovay@gmail.com Postal Address: PO Box 5949. Eugene, Oregon 97405. What publications I have on line are on the following page . The following page is devoted to pictures of my pets.
In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay in which all of the axioms of Zermelo–Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable.
Rutgers, The State University of New Jersey. Robert SOLOVAY | Cited by 5,023 | of University of California, Berkeley, CA (UCB) | Read 49 publications | Contact Robert SOLOVAY.
ROBERT M. SOLOVAY Abstract. Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this
