Kurt Gödel (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) - January 14, 1978 Princeton, New Jersey) was an Austrian American mathematician and philosopher. One of the most significant logicians of all time, Gödel's work has had immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, …

Paul Joseph Cohen (April 2, 1934 - March 23, 2007) was an American mathematician. He was born in Long Branch, New Jersey into a Jewish family and graduated in 1950 from Stuyvesant High School in New York City. He then studied at Brooklyn College from 1950 to 1953 but left before receiving a bachelor's degree when he learned he could pursue graduate studies in Chicago with just two years of college under his belt.

Donald A. (Tony) Martin (born 24 December 1940) is a set theorist and philosopher of mathematics at UCLA. Among Martin's most notable work are the proofs of Borel determinacy (from ZFC alone), the proof (with John R. Steel) of projective determinacy (from suitable large cardinal axioms), and his work on Martin's axiom. He is also Director of the UCLA Logic Center, which was established in the Fall of 2004.

Thomas J. Jech is a is a set theorist who was at Penn State, but is now at the Mathematical Institute of the Academy of Sciences of the Czech Republic.

William Hugh Woodin is a set theorist at University of California, Berkeley. He has made many notable contributions to the theory of inner models and determinacy. His recent work on Ω-logic suggests an argument that the continuum hypothesis is false. He earned his Ph.D. from UC Berkeley in 1984 under Robert M. Solovay. His dissertation title was "Discontinuous Homomorphisms of C(Omega) and Set Theory".

Saharon Shelah (born July 3, 1945 in Jerusalem) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and also at Rutgers University in New Jersey, USA. Shelah's main interest lies in mathematical logic, in particular in model theory and set theory. Shelah is one of the most prolific contemporary mathematicians. As of 2006, he had (together with over 200 coauthors) published nearly 900 mathematical papers.

Robert M. Solovay is a set theorist who spent many years as a professor at UC Berkeley. Among his most noted accomplishments are showing (relative to the existence of an inaccessible cardinal) that it is consistent with ZF, without the axiom of choice, that every set of real numbers is Lebesgue measurable, and isolating the notion of 0#. Solovay earned his Ph.D. from the University of Chicago in 1964 under the direction of Saunders Mac Lane, …

Alexander S. (Alekos) Kechris is a descriptive set theorist at Caltech. He has made major contributions to the theory of Borel equivalence relations. Kechris earned his Ph.D. in 1972 under the direction of Yiannis N. Moschovakis, with a dissertation entitled "Projective Ordinals and Countable Analytic Sets". His Erdős number is 2.

Keith J. Devlin is an English mathematician and writer. He currently is Executive Director of Stanford University's Center for the Study of Language and Information and a Consulting Professor of mathematics at Stanford. In addition, he is a commentator on National Public Radio's Weekend Edition Saturday, where he is known as "The Math Guy." As of 2004, he is the author of 24 books. Several of his books are aimed at an audience of the general public, …

Matthew Foreman (born March 21, 1957) is a set theorist at University of California, Irvine. He has made contributions in widely varying areas of set theory, including descriptive set theory, forcing, and infinitary combinatorics. Foreman earned his Ph.D. in 1980 at University of California, Berkeley under the direction of Robert M. Solovay, with a dissertation on "Large Cardinals and Model Theoretic Transfer Properties".

Paul Bernays was a Swiss mathematician who played a crucial role in the development of mathematical logic in the 20th century. He was an assistant and close collaborator of David Hilbert. His name is linked to Von Neumann–Bernays–Gödel set theory. He was one of Edmund Landau's students at the University of Göttingen.

John R. Steel is a set theorist at University of California, Berkeley (formerly at UCLA). He has made many contributions to the theory of inner models and determinacy. With Donald A. Martin, he proved projective determinacy, assuming the existence of sufficient large cardinals. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1977.

Kenneth Kunen is a professor of mathematics at the University of Wisconsin who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also works on non-associative algebraic systems, such as loops, and uses computer software, such as the Otter theorem prover, to derive theorems in these areas.

Steve Jackson (full name: Stephen Craig Jackson) is a set theorist at University of North Texas. Much of his most notable work has involved the descriptive set-theoretic consequences of the axiom of determinacy.

Yiannis N. Moschovakis (born 1938) is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA. For many years he has split his time between UCLA and University of Athens (he retired from the latter in July, 2005). His book "Descriptive Set Theory" (North-Holland) is the indispensable reference text for the subject. He is especially associated with the development of the effective, or lightface, version of descriptive set theory.

Andreas Raphael Blass is a mathematician, currently a professor at the University of Michigan. He specializes in mathematical logic, particularly set theory, and theoretical computer science. Blass received his Ph.D. in 1970 from Harvard University.

Edward Nelson (born May 4 1932, in Decatur, Georgia) is a professor in the Mathematics Department at Princeton University. He is known for his work on mathematical physics and mathematical logic. In mathematical logic, he is noted especially for his internal set theory.

Christopher F. Freiling is a set theorist responsible for Freiling's axiom of symmetry. He is currently a member of the faculty of the Department of Mathematics at California State University, San Bernardino. web page

Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. He and Jeff Paris proved the Paris–Harrington theorem.

Frederick William Galvin is a mathematician, currently a professor at the University of Kansas. His research interests include set theory and combinatorics. His notable work includes the proof of the Dinitz conjecture. Galvin received his Ph.D. in 1967 from the University of Minnesota.

Ronald Björn Jensen is a mathematician working in logic and set theory. He studied economics at American University and mathematics at the University of Bonn getting a PhD in mathematics in 1964 (supervised by Gisbert Hasenjäger). Jensen spent most of his academic career in Europe at the University of Bonn, the University of Oslo, the University of Freiburg, …

Luitzen Egbertus Jan Brouwer, usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis. Early in his career, Brouwer proved a number of theorems that were breakthroughs in the emerging field of topology. The most celebrated result was his proof of the topological invariance of dimension.

Raphael Mitchel Robinson (November 2 1911, National City California - January 27 1995. Berkeley California) was an American mathematician. Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He was awarded the BA (1932), MA (1933), and Ph.D. (1935), all in mathematics, and all from the University of California, Berkeley.

Bohuslav Balcar (born in 1943) is a Czech mathematician. He is a senior researcher at the Center for Theoretical Study (CTS), and a professor at Charles University in Prague. His research interests are mainly related to foundations of mathematics. Balcar received his Ph.D. in 1966 from Charles University.

James Earl Baumgartner is an American mathematician active in set theory, mathematical logic and foundations, and topology. He is an emeritus professor at Dartmouth College. Baumgartner received his PhD in 1970 from the University of California, Berkeley for a dissertation entitled "Results and Independence Proofs in Combinatorial Set Theory". His advisor was Robert Vaught.

Max August Zorn (June 6, 1906 in Krefeld, Germany – March 9, 1993 in Bloomington, Indiana, USA) was a German-born American mathematician. He was an algebraist, group theorist, and numerical analyst. He is famous for Zorn's lemma, a powerful tool in set theory that is applicable to a wide range of mathematical constructs such as vector spaces, ordered sets, etc. Zorn's lemma was first discovered by K. Kuratowski in 1922, and then independently by Zorn in 1935.