Matthew Foreman

Matthew Dean Foreman is an American mathematician at the University of California, Irvine. He has made notable contributions in set theory and in ergodic theory. Born in Los Alamos, New Mexico, Foreman earned his Ph.D. from the University of California, Berkeley in 1980 under Robert M. Solovay. His dissertation title was *Large Cardinals and Strong Model Theoretic Transfer Properties*. Foreman's early work in set theory was with Hugh Woodin, showing that it is consistent that the generalized continuum hypothesis fails at every infinite cardinal. In joint work with Menachem Magidor and Saharon Shelah, he formulated Martin's maximum, a provably maximal form of Martin's axiom, and showed its consistency. Foreman's later work in set theory primarily concerned developing the consequences of generic large cardinal axioms. He also worked on classical "Hungarian" partition relations, mostly with András Hajnal. In the late 1980s, Foreman became interested in measure theory and ergodic theory. With Randall Dougherty, he settled the Marczewski problem (1930) by showing that there is a Banach–Tarski decomposition of the unit ball in which all pieces have the property of Baire. With Friedrich Wehrung, Foreman showed that the Hahn–Banach theorem implied the existence of a non-Lebesgue measurable set, even in the absence of any other form of the axiom of choice. This led to attempts to apply the tools of descriptive set theory to classification problems in ergodic theory. His first work in this direction, with Ferenc Beleznay, showed that classical collections were beyond the Borel hierarchy in complexity. This was followed by proof of the analogous results for measure-preserving transformations with generalized discrete spectrum. In collaborations with Benjamin Weiss and Daniel Rudolph, Foreman showed that no residual class of measure-preserving transformations can have algebraic invariants and that the isomorphism relation on ergodic measure-preserving transformations is not Borel. This negative result finished a program proposed by von Neumann in 1932. This result was extended by Foreman and Weiss to show that smooth area-preserving diffeomorphisms of the 2-torus are unclassifiable. Foreman's work in set theory continued during this period. He co-edited (with Akihiro Kanamori) the *Handbook of Set Theory* and showed that various combinatorial properties of ω2 and ω3 are equiconsistent with huge cardinals. In 1998, Foreman was an Invited Speaker of the International Congress of Mathematicians in Berlin. In 2021, he gave the Gödel Lecture titled *Gödel Diffeomorphisms*. In 2023, he was named a Fellow of the American Mathematical Society. In addition to his mathematical work, Foreman is an avid sailor. He and his family sailed their sailboat *Veritas* from North America to Europe in 2000, and from 2000–2008 they sailed Veritas to various locations including the Arctic, Scotland, Ireland, England, France, Spain, North Africa, and Italy. Notable high points were Fastnet Rock, Irish and Celtic seas and many passages including the Maelstrom, Stad, Pentland Firth, Loch Ness, the Corryveckan and the Irish Sea. Further south they sailed through the Chenal du Four and Raz de Sein, across the Bay of Biscay and around Cape Finisterre. After entering Gibraltar, Foreman and his family circumnavigated the Western Mediterranean. Some notable stops included: Barcelona, Morocco, Tunisia, Sicily, Naples, Sardinia and Corsica. In 2009, Foreman, his son with guest members as crew, circumnavigated Newfoundland. Foreman has been recognized for his sailing by twice winning the Ullman Trophy.