38 relations: 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, 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, United States, University of California, University of California, Berkeley, University of Chicago, Volker Strassen, W. Hugh Woodin, Zermelo–Fraenkel set theory, Zero sharp.
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.
Brooklyn is the most populous of New York City's five boroughs, with a Census-estimated 2,621,793 people in 2014.
New!!: Robert M. Solovay and Brooklyn ·
Cryptography or cryptology; from Greek κρυπτός kryptós, "hidden, secret"; and γράφειν graphein, "writing", or -λογία -logia, "study", respectively is the practice and study of techniques for secure communication in the presence of third parties (called adversaries).
New!!: Robert M. Solovay and Cryptography ·
A Doctor of Philosophy degree (often abbreviated Ph.D., PhD, D.Phil., or DPhil) or a Doctorate of Philosophy, from the Latin Doctor Philosophiae, is a type of doctorate awarded by universities in many countries.
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa.
In set theory, an uncountable regular cardinal number is called weakly inaccessible if it is a weak limit cardinal, and strongly inaccessible, or just inaccessible, if it is a strong limit cardinal.
Judith "Judy" Roitman (born November 12, 1945) is a mathematician, currently a professor at the University of Kansas.
New!!: Robert M. Solovay and Judith Roitman ·
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.
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 ·
Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change.
New!!: Robert M. Solovay and Mathematics ·
Matthew Dean Foreman (born March 21, 1957) is an American mathematician at University of California, Irvine.
In mathematics, the natural numbers (sometimes called the whole numbers): "whole number An integer, though sometimes it is taken to mean only non-negative integers, or just the positive integers." give definitions of "whole number" under several headwords: INTEGER … Syn. whole number.
New!!: Robert M. Solovay and Natural number ·
In logic, a normal modal logic is a set L of modal formulas such that L contains.
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".
In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.
New!!: Robert M. Solovay and Peano axioms ·
A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself.
New!!: Robert M. Solovay and Prime number ·
Probability is the measure of the likeliness that an event will occur.
New!!: Robert M. Solovay and Probability ·
Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'.
In mathematics, a real number is a value that represents a quantity along a continuous line.
New!!: Robert M. Solovay and Real number ·
In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality.
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.
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: Robert M. Solovay and Set theory ·
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 ·
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.
Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic.
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 ·
In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number.
In mathematics, Suslin's problem is a question about totally ordered sets posed posthumously by.
The United States of America (USA), commonly referred to as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major territories and various possessions.
New!!: Robert M. Solovay and United States ·
The University of California (UC) is a public university system in the U.S. state of California.
The University of California, Berkeley (also referred to as Berkeley, UC Berkeley, California or simply Cal) is a public research university located in Berkeley, California.
The University of Chicago (U of C, Chicago, or UChicago) is a private research university in Chicago, Illinois.
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.
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 ·
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that were proposed in the early twentieth century to formulate a theory of sets free of paradoxes such as Russell's paradox.
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 ·