Matthew Foreman: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m Disambiguating links to Maelstrom (link changed to Maelstrom (whirlpool)) using DisamAssist.
doi added + doi-access=free when available
Line 24: Line 24:
University of California, Berkeley in 1980 under [[Robert M. Solovay]]. His
University of California, Berkeley in 1980 under [[Robert M. Solovay]]. His
dissertation title was ''Large Cardinals and Strong Model Theoretic Transfer
dissertation title was ''Large Cardinals and Strong Model Theoretic Transfer
Properties''.<ref>{{Cite journal|url=https://www.jstor.org/stable/1998706|jstor=1998706|title=Large Cardinals and Strong Model Theoretic Transfer Properties|last1=Foreman|first1=Matthew|journal=Transactions of the American Mathematical Society|year=1982|volume=272|issue=2|pages=427–463|doi=10.1090/S0002-9947-1982-0662045-X|doi-access=free}}</ref>
Properties''.<ref>{{cite journal|url=https://www.jstor.org/stable/1998706|jstor=1998706|title=Large Cardinals and Strong Model Theoretic Transfer Properties|last1=Foreman|first1=Matthew|journal=Transactions of the American Mathematical Society|year=1982|volume=272|issue=2|pages=427–463|doi=10.1090/S0002-9947-1982-0662045-X|doi-access=free}}</ref>


In addition to his mathematical work, Foreman is an avid sailor.
In addition to his mathematical work, Foreman is an avid sailor.
Line 38: Line 38:


==Work==
==Work==
Foreman began his career in set theory. His early work with [[W. Hugh Woodin|Hugh Woodin]] included showing that it is consistent that the generalized continuum hypothesis (see [[continuum hypothesis]]) fails at every infinite cardinal.<ref>{{cite journal
Foreman began his career in set theory. His early work with [[W. Hugh Woodin|Hugh Woodin]] included showing that it is consistent that the generalized continuum hypothesis (see [[continuum hypothesis]]) fails at every infinite cardinal.<ref>Foreman, M.; Woodin, W. Hugh: The generalized continuum hypothesis can fail everywhere, ''Ann. of Math.'', (2) '''133'''(1991), no. 1, 1&ndash;35</ref> 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.<ref>Foreman, M.; Magidor, M.; Shelah, S.: Martin's maximum, saturated ideals, and nonregular ultrafilters. I, ''[[Annals of Mathematics|Ann. of Math.]]'' (2), '''127'''(1988), no. 1, 1&ndash;47</ref><ref>Foreman, M.; Magidor, M.; Shelah, S: Martin's maximum, saturated ideals and nonregular ultrafilters. II, ''Ann. of Math.'', (2), '''127'''(1988), no. 3, 521&ndash;545.</ref> Foreman's later work in set theory was primarily concerned with developing the consequences of generic large cardinal axioms.<ref>Foreman, M.; Ideals and generic elementary embeddings. Handbook of Set Theory, Vol 2, pp. 885-1147, Springer, 2010.</ref> He also worked on classical "Hungarian" [[Infinitary combinatorics|partition relations]], mostly with [[András Hajnal]].<ref>Foreman, M; Hajnal, A.: A partition relation for successors of large cardinals, ''[[Mathematische Annalen|Math. Ann.]]'', '''325'''(2003), no. 3, 583–623.</ref>
| last1=Foreman | first1=Matthew
| last2=Woodin | first2=W. Hugh | authorlink2=W. Hugh Woodin
| title=The generalized continuum hypothesis can fail everywhere
| journal=[[Annals of Mathematics]]
| series=Second Series
| volume=133
| date=1991
| issue=1
| pages=1&ndash;35
| doi=10.2307/2944324 | jstor=2944324}}</ref> 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.<ref>{{cite journal
| last1=Foreman | first1=Matthew
| last2=Magidor | first2=Menachem | authorlink2=Menachem Magidor
| last3=Shelah | first3=Saharon | authorlink3=Saharon Shelah
| title=Martin's maximum, saturated ideals, and nonregular ultrafilters. I
| journal=[[Annals of Mathematics]]
| series=Second Series
| volume=127
| date=1988
| issue=1
| pages=1&ndash;47
| doi=10.2307/1971415
| jstor=1971415}}</ref><ref>{{cite journal
| last1=Foreman | first1=Matthew
| last2=Magidor | first2=Menachem | authorlink2=Menachem Magidor
| last3=Shelah | first3=Saharon | authorlink3=Saharon Shelah
| title=Martin's maximum, saturated ideals and nonregular ultrafilters. II
| journal=[[Annals of Mathematics]]
| series=Second Series
| volume=127
| date=1988
| issue=3
| pages=521&ndash;545
| doi=10.2307/2007004
| jstor=2007004}}</ref> Foreman's later work in set theory was primarily concerned with developing the consequences of generic large cardinal axioms.<ref>{{cite book
| last1=Foreman | first1=Matthew
| contribution=Ideals and generic elementary embeddings
| title=Handbook of Set Theory
| pages=885–1147
| publisher=Springer
| date=2010
| doi=10.1007/978-1-4020-5764-9_14 | doi-access=free}}</ref> He also worked on classical "Hungarian" [[Infinitary combinatorics|partition relations]], mostly with [[András Hajnal]].<ref>{{cite journal
| last1=Foreman | first1=Matthew
| last2=Hajnal | first2=András | authorlink2=András Hajnal
| title=A partition relation for successors of large cardinals
| journal=[[Mathematische Annalen]]
| volume=325
| date=2003
| issue=3
| pages=583–623
| doi=10.1007/s00208-002-0323-7 | doi-access=free}}</ref>


In the late 1980s Foreman became interested in [[Measure (mathematics)|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]] (see [[Banach–Tarski paradox]]).<ref>Dougherty, R; Foreman, M. Banach–Tarski decompositions using sets with the property of Baire. J. Amer. Math. Soc. 7 (1994), no. 1, 75–124</ref> A consequence is the existence of a decomposition of an open dense subset of the unit ball into disjoint open sets that can be rearranged by isometries to form two open dense subsets of the unit ball. 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]].<ref>Foreman, M.; Wehrung, F. The Hahn–Banach theorem implies the existence of a non-Lebesgue measurable set. Fund. Math. 138 (1991), no. 1, 13–19.</ref>
In the late 1980s Foreman became interested in [[Measure (mathematics)|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]] (see [[Banach–Tarski paradox]]).<ref>{{cite journal
| last1=Dougherty | first1=Randall | authorlink1=Randall Dougherty
| last2=Foreman | first2=Matthew
| title=Banach–Tarski decompositions using sets with the property of Baire
| journal=Journal of the American Mathematical Society
| volume=7
| date=1994
| issue=1
| pages=75–124
| doi=10.1090/S0894-0347-1994-1227475-8 | doi-access=free}}</ref> A consequence is the existence of a decomposition of an open dense subset of the unit ball into disjoint open sets that can be rearranged by isometries to form two open dense subsets of the unit ball. 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]].<ref>{{cite journal
| last1=Foreman | first1=Matthew
| last2=Wehrung | first2=Friedrich
| title=The Hahn–Banach theorem implies the existence of a non-Lebesgue measurable set
| journal=Fundamenta Mathematicae
| volume=138
| date=1991
| issue=1
| pages=13–19
| doi=10.4064/fm-138-1-13-19 | doi-access=free}}</ref>


This naturally 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,<ref>{{cite journal
⚫
This naturally led to attempts to apply the tools of [[descriptive set theory]] to classification problems in [[ergodic theory]]. His first work in this direction, with F. Beleznay,<ref>Beleznay, F.; Foreman, M. The collection of distal flows is not Borel. Amer. J. Math. 117 (1995), no. 1, 203–239.</ref> showed that classical collections were beyond the [[Borel hierarchy]] in complexity. This was followed shortly by a proof of the analogous results for measure-preserving transformations with generalized discrete spectrum. In a collaboration with [[Benjamin Weiss]]<ref>Foreman, M.; [[Benjamin Weiss|Weiss, B.]]: An anti-classification theorem for ergodic measure-preserving transformations, ''[[Journal of the European Mathematical Society|J. Eur. Math. Soc.]]'' (JEMS), '''6'''(2004), no. 3, 277&ndash;292.</ref> and [[Daniel Rudolph]]<ref name="Foreman Rudolph Weiss">{{cite journal | last1=Foreman | first1=Matthew | last2=Rudolph | first2=Daniel | last3=Weiss | first3=Benjamin | author-link2=Daniel Rudolph |author-link3=Benjamin Weiss |title=The conjugacy problem in ergodic theory | journal=Annals of Mathematics | volume=173 | issue=3 | date=May 1, 2011 | issn=0003-486X | doi=10.4007/annals.2011.173.3.7 | pages=1529–1586| doi-access=free }}</ref> 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.<ref>von Neumann, J. Zur Operatorenmethode in der klassischen Mechanik. Ann. of Math. (2), 33(3):587–642, 1932</ref> This result was extended by Foreman and Weiss to show that smooth area-preserving diffeomorphisms of the 2-torus are unclassifiable.
| last1=Beleznay | first1=Ferenc
| last2=Foreman | first2=Matthew
| title=The collection of distal flows is not Borel
| journal=American Journal of Mathematics
| volume=117
| date=1995
| issue=1
| pages=203–239
| doi=10.2307/2375041
| jstor=2375041}}</ref> showed that classical collections were beyond the [[Borel hierarchy]] in complexity. This was followed shortly by a proof of the analogous results for measure-preserving transformations with generalized discrete spectrum. In a collaboration with [[Benjamin Weiss]]<ref>{{cite journal
| last1=Foreman | first1=Matthew
| last2=Weiss | first2=Benjamin | authorlink2=Benjamin Weiss
| title=An anti-classification theorem for ergodic measure-preserving transformations
| journal=[[Journal of the European Mathematical Society]]
| volume=6
| date=2004
| issue=3
| pages=277&ndash;292
⚫
| doi=10.4171/JEMS/10 | doi-access=free}}</ref> and [[Daniel Rudolph]]<ref name="Foreman Rudolph Weiss">{{cite journal | last1=Foreman | first1=Matthew | last2=Rudolph | first2=Daniel | last3=Weiss | first3=Benjamin | author-link2=Daniel Rudolph |author-link3=Benjamin Weiss |title=The conjugacy problem in ergodic theory | journal=[[Annals of Mathematics]] | series=Second Series | volume=173 | issue=3 | date=May 1, 2011 | issn=0003-486X | doi=10.4007/annals.2011.173.3.7 | pages=1529–1586| doi-access=free }}</ref> 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.<ref>{{cite journal
| last1=von Neumann | first1=J. | authorlink1=John von Neumann
| title=Zur Operatorenmethode in der klassischen Mechanik
| journal=[[Annals of Mathematics]]
| series=Second Series
| volume=33
| issue=3
| pages=587–642
| date=1932
| doi=10.2307/1968537
| jstor=1968537}}</ref> 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|Kanamori]]) the ''Handbook of Set Theory'' and showed that various combinatorial properties of ω<sub>2</sub> and ω<sub>3</sub> are equiconsistent with [[huge cardinal]]s.<ref>Foreman, Matthew: [[Smoke and mirrors]]: combinatorial properties of small cardinals equiconsistent with huge cardinals, ''[[Advances in Mathematics|Adv. Math.]]'', '''222'''(2009), no. 2, 565&ndash;595.
Foreman's work in set theory continued during this period. He co-edited (with [[Akihiro Kanamori|Kanamori]]) the ''Handbook of Set Theory'' and showed that various combinatorial properties of ω<sub>2</sub> and ω<sub>3</sub> are equiconsistent with [[huge cardinal]]s.<ref>{{cite journal
| last1=Foreman | first1=Matthew
| title=Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals
| journal=[[Advances in Mathematics]]
| volume=222
| date=2009
| issue=2
| pages=565&ndash;595
| doi=10.1016/j.aim.2009.05.006 | doi-access=free}}</ref>
</ref>


In 1998 Foreman was an Invited Speaker of the [[International Congress of Mathematicians]] in Berlin.<ref>{{cite book|author=Foreman, Matthew|chapter=Generic large cardinals: New axioms for mathematics?|title=Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. II|year=1998|pages=11–21|chapter-url=https://www.elibm.org/ft/10011637000}}</ref>
In 1998 Foreman was an Invited Speaker of the [[International Congress of Mathematicians]] in Berlin.<ref>{{cite book
| last1=Foreman | first1=Matthew
| chapter=Generic large cardinals: New axioms for mathematics?
| title=Documenta Mathematica (Bielefeld), Extra Volume ICM Berlin
| date=1998
| volume=II
| pages=11–21
| chapter-url=https://www.elibm.org/ft/10011637000}}</ref>


In 2021, he gave the [[Gödel Lecture]] titled ''Gödel Diffeomorphisms.''
In 2021, he gave the [[Gödel Lecture]] titled ''Gödel Diffeomorphisms.''

Revision as of 19:49, 5 February 2022

For other people named Matt Foreman, see Matt Foreman (disambiguation).
Matthew Dean Foreman
Born
Los Alamos, New Mexico, US
NationalityAmerican
Alma materUniversity of California, Berkeley
Scientific career
FieldsMathematics
InstitutionsUniversity of California, Irvine
Ohio State University
Doctoral advisorRobert M. Solovay

Matthew Dean Foreman is an American mathematician at University of California, Irvine. He has made notable contributions in set theory and in ergodic theory.

Biography

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.[1]

In addition to his mathematical work, Foreman is an avid sailor.

He and his family sailed their sailboat Veritas (a built by C&C Yachts) from North America to Europe in 2000. From 2000–2008 they sailed Veritas to the Arctic, the [[Shetland Islands,]] 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.[2]

Foreman has been recognized for his sailing by twice winning the Ullman Trophy.[3]

Work

Foreman began his career in set theory. His early work with Hugh Woodin included showing that it is consistent that the generalized continuum hypothesis (see continuum hypothesis) fails at every infinite cardinal.[4] 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.[5][6] Foreman's later work in set theory was primarily concerned with developing the consequences of generic large cardinal axioms.[7] He also worked on classical "Hungarian" partition relations, mostly with András Hajnal.[8]

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 (see Banach–Tarski paradox).[9] A consequence is the existence of a decomposition of an open dense subset of the unit ball into disjoint open sets that can be rearranged by isometries to form two open dense subsets of the unit ball. 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.[10]

This naturally 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,[11] showed that classical collections were beyond the Borel hierarchy in complexity. This was followed shortly by a proof of the analogous results for measure-preserving transformations with generalized discrete spectrum. In a collaboration with Benjamin Weiss[12] and Daniel Rudolph[13] 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.[14] 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 Kanamori) the Handbook of Set Theory and showed that various combinatorial properties of ω2 and ω3 are equiconsistent with huge cardinals.[15]

In 1998 Foreman was an Invited Speaker of the International Congress of Mathematicians in Berlin.[16]

In 2021, he gave the Gödel Lecture titled Gödel Diffeomorphisms.

References

  1. ^ Foreman, Matthew (1982). "Large Cardinals and Strong Model Theoretic Transfer Properties". Transactions of the American Mathematical Society. 272 (2): 427–463. doi:10.1090/S0002-9947-1982-0662045-X. JSTOR 1998706.
  2. ^ Foreman, Zachary (2007) "Under Way", Cruising World Magazine, October 2007
  3. ^ Tailwind, Balboa Yacht Club "Annual Awards", 2003, 2011
  4. ^ Foreman, Matthew; Woodin, W. Hugh (1991). "The generalized continuum hypothesis can fail everywhere". Annals of Mathematics. Second Series. 133 (1): 1–35. doi:10.2307/2944324. JSTOR 2944324.
  5. ^ Foreman, Matthew; Magidor, Menachem; Shelah, Saharon (1988). "Martin's maximum, saturated ideals, and nonregular ultrafilters. I". Annals of Mathematics. Second Series. 127 (1): 1–47. doi:10.2307/1971415. JSTOR 1971415.
  6. ^ Foreman, Matthew; Magidor, Menachem; Shelah, Saharon (1988). "Martin's maximum, saturated ideals and nonregular ultrafilters. II". Annals of Mathematics. Second Series. 127 (3): 521–545. doi:10.2307/2007004. JSTOR 2007004.
  7. ^ Foreman, Matthew (2010). "Ideals and generic elementary embeddings". Handbook of Set Theory. Springer. pp. 885–1147. doi:10.1007/978-1-4020-5764-9_14.
  8. ^ Foreman, Matthew; Hajnal, András (2003). "A partition relation for successors of large cardinals". Mathematische Annalen. 325 (3): 583–623. doi:10.1007/s00208-002-0323-7.
  9. ^ Dougherty, Randall; Foreman, Matthew (1994). "Banach–Tarski decompositions using sets with the property of Baire". Journal of the American Mathematical Society. 7 (1): 75–124. doi:10.1090/S0894-0347-1994-1227475-8.
  10. ^ Foreman, Matthew; Wehrung, Friedrich (1991). "The Hahn–Banach theorem implies the existence of a non-Lebesgue measurable set". Fundamenta Mathematicae. 138 (1): 13–19. doi:10.4064/fm-138-1-13-19.
  11. ^ Beleznay, Ferenc; Foreman, Matthew (1995). "The collection of distal flows is not Borel". American Journal of Mathematics. 117 (1): 203–239. doi:10.2307/2375041. JSTOR 2375041.
  12. ^ Foreman, Matthew; Weiss, Benjamin (2004). "An anti-classification theorem for ergodic measure-preserving transformations". Journal of the European Mathematical Society. 6 (3): 277–292. doi:10.4171/JEMS/10.
  13. ^ Foreman, Matthew; Rudolph, Daniel; Weiss, Benjamin (May 1, 2011). "The conjugacy problem in ergodic theory". Annals of Mathematics. Second Series. 173 (3): 1529–1586. doi:10.4007/annals.2011.173.3.7. ISSN 0003-486X.
  14. ^ von Neumann, J. (1932). "Zur Operatorenmethode in der klassischen Mechanik". Annals of Mathematics. Second Series. 33 (3): 587–642. doi:10.2307/1968537. JSTOR 1968537.
  15. ^ Foreman, Matthew (2009). "Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals". Advances in Mathematics. 222 (2): 565–595. doi:10.1016/j.aim.2009.05.006.
  16. ^ Foreman, Matthew (1998). "Generic large cardinals: New axioms for mathematics?". Documenta Mathematica (Bielefeld), Extra Volume ICM Berlin. Vol. II. pp. 11–21.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Matthew_Foreman&oldid=1070118310"