Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Robert M. Solovay

+ Save concept

Robert Martin Solovay (born December 15, 1938) is an American mathematician specializing in set theory. [1]

42 relations: Alexei Kitaev, Axiom of choice, Brooklyn, Cryptography, Doctor of Philosophy, Equiconsistency, Inaccessible cardinal, Judith Roitman, Lebesgue measure, Mathematician, Mathematics, Matthew Foreman, Natural number, Normal modal logic, Paris Kanellakis Award, Peano axioms, Prime number, Probability, Provability logic, Quantum logic gate, Qubit, Real number, Regular cardinal, Riemann–Roch theorem, Saunders Mac Lane, Set (mathematics), Set theory, Solovay model, Solovay–Strassen primality test, Stanley Tennenbaum, Stationary set, Strongly compact cardinal, Suslin's problem, Unitary operator, United States, University of California, University of California, Berkeley, University of Chicago, Volker Strassen, W. Hugh Woodin, Zermelo–Fraenkel set theory, Zero sharp.

Alexei Kitaev

Alexei Kitaev (Алексей Юрьевич Китаев; born August 26, 1963) is a Russian–American professor of physics at the California Institute of Technology and permanent member of the Kavli Institute for Theoretical Physics.

New!!: Robert M. Solovay and Alexei Kitaev · See more »

Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Robert M. Solovay and Axiom of choice · See more »


Brooklyn is the most populous borough of New York City, with a census-estimated 2,648,771 residents in 2017.

New!!: Robert M. Solovay and Brooklyn · See more »


Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

New!!: Robert M. Solovay and Christmas · See more »

Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: Robert M. Solovay and Christmas and holiday season · See more »

Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

New!!: Robert M. Solovay and Christmas Eve · See more »

Christmas traditions

Christmas traditions vary from country to country.

New!!: Robert M. Solovay and Christmas traditions · See more »


Cryptography or cryptology (from κρυπτός|translit.

New!!: Robert M. Solovay and Cryptography · See more »

Doctor of Philosophy

A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.

New!!: Robert M. Solovay and Doctor of Philosophy · See more »


In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa.

New!!: Robert M. Solovay and Equiconsistency · See more »

Inaccessible cardinal

In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic.

New!!: Robert M. Solovay and Inaccessible cardinal · See more »

Judith Roitman

Judith "Judy" Roitman (born November 12, 1945) is a mathematician, a retired professor at the University of Kansas.

New!!: Robert M. Solovay and Judith Roitman · See more »

Lebesgue measure

In measure theory, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space.

New!!: Robert M. Solovay and Lebesgue measure · See more »


A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.

New!!: Robert M. Solovay and Mathematician · See more »


Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Robert M. Solovay and Mathematics · See more »

Matthew Foreman

Matthew Dean Foreman is an American mathematician at University of California, Irvine.

New!!: Robert M. Solovay and Matthew Foreman · See more »

Natural number

In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").

New!!: Robert M. Solovay and Natural number · See more »

New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

New!!: Robert M. Solovay and New Year · See more »

New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: Robert M. Solovay and New Year's Day · See more »

New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: Robert M. Solovay and New Year's Eve · See more »

Normal modal logic

In logic, a normal modal logic is a set L of modal formulas such that L contains.

New!!: Robert M. Solovay and Normal modal logic · See more »

Paris Kanellakis Award

The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".

New!!: Robert M. Solovay and Paris Kanellakis Award · See more »

Peano axioms

In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.

New!!: Robert M. Solovay and Peano axioms · See more »

Prime number

A prime number (or a prime) is a natural number greater than 1 that cannot be formed by multiplying two smaller natural numbers.

New!!: Robert M. Solovay and Prime number · See more »


Probability is the measure of the likelihood that an event will occur.

New!!: Robert M. Solovay and Probability · See more »

Provability logic

Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'.

New!!: Robert M. Solovay and Provability logic · See more »

Quantum logic gate

In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate (or simply quantum gate) is a basic quantum circuit operating on a small number of qubits.

New!!: Robert M. Solovay and Quantum logic gate · See more »


In quantum computing, a qubit or quantum bit (sometimes qbit) is a unit of quantum information—the quantum analogue of the classical binary bit.

New!!: Robert M. Solovay and Qubit · See more »

Real number

In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.

New!!: Robert M. Solovay and Real number · See more »

Regular cardinal

In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality.

New!!: Robert M. Solovay and Regular cardinal · See more »

Riemann–Roch theorem

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles.

New!!: Robert M. Solovay and Riemann–Roch theorem · See more »

Saunders Mac Lane

Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.

New!!: Robert M. Solovay and Saunders Mac Lane · See more »

Set (mathematics)

In mathematics, a set is a collection of distinct objects, considered as an object in its own right.

New!!: Robert M. Solovay and Set (mathematics) · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Robert M. Solovay and Set theory · See more »

Solovay model

In the mathematical field of set theory, the Solovay model is a model constructed by 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.

New!!: Robert M. Solovay and Solovay model · See more »

Solovay–Strassen primality test

The Solovay–Strassen primality test, developed by Robert M. Solovay and Volker Strassen, is a probabilistic test to determine if a number is composite or probably prime.

New!!: Robert M. Solovay and Solovay–Strassen primality test · See more »

Stanley Tennenbaum

Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic.

New!!: Robert M. Solovay and Stanley Tennenbaum · See more »

Stationary set

In mathematical set theory and model theory, a stationary set is one that is not too small in the sense that it intersects all club sets, and is analogous to a set of non-zero measure in set theory.

New!!: Robert M. Solovay and Stationary set · See more »

Strongly compact cardinal

In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number.

New!!: Robert M. Solovay and Strongly compact cardinal · See more »

Suslin's problem

In mathematics, Suslin's problem is a question about totally ordered sets posed by and published posthumously.

New!!: Robert M. Solovay and Suslin's problem · See more »

Unitary operator

In functional analysis, a branch of mathematics, a unitary operator is a surjective bounded operator on a Hilbert space preserving the inner product.

New!!: Robert M. Solovay and Unitary operator · See more »

United States

The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.

New!!: Robert M. Solovay and United States · See more »

University of California

The University of California (UC) is a public university system in the US state of California.

New!!: Robert M. Solovay and University of California · See more »

University of California, Berkeley

The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public research university in Berkeley, California.

New!!: Robert M. Solovay and University of California, Berkeley · See more »

University of Chicago

The University of Chicago (UChicago, U of C, or Chicago) is a private, non-profit research university in Chicago, Illinois.

New!!: Robert M. Solovay and University of Chicago · See more »

Volker Strassen

Volker Strassen (born April 29, 1936) is a German mathematician, a professor emeritus in the department of mathematics and statistics at the University of Konstanz.

New!!: Robert M. Solovay and Volker Strassen · See more »

W. Hugh Woodin

William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University.

New!!: Robert M. Solovay and W. Hugh Woodin · See more »

Zermelo–Fraenkel set theory

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.

New!!: Robert M. Solovay and Zermelo–Fraenkel set theory · See more »

Zero sharp

In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernibles in the Gödel constructible universe.

New!!: Robert M. Solovay and Zero sharp · See more »


2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

New!!: Robert M. Solovay and 2018 · See more »


2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: Robert M. Solovay and 2019 · See more »

Redirects here:

R .M. Solovay, Robert Martin Solovay, Robert Solovay, Solovay.


[1] https://en.wikipedia.org/wiki/Robert_M._Solovay

Hey! We are on Facebook now! »