Maryanthe Malliaris

Last updated

Maryanthe Elizabeth Malliaris is a professor of mathematics at the University of Chicago, [1] a specialist in model theory.

Contents

Early life and education

Malliaris is the daughter of Anastasios G. (Tassos) Malliaris, an economist at Loyola University Chicago, and Mary E. Malliaris, Professor of Information Systems at Loyola. [2]

As an undergraduate at Harvard College, Malliaris wrote for the Harvard Crimson , [3] contributed a biography of Polish sociologist Zygmunt Bauman to the Encyclopedia of Postmodernism, [ZB] and worked for a startup called Zaps. [4]

She graduated from Harvard in 2001 with a concentration in mathematics, [4] and earned her PhD in 2009 from the University of California, Berkeley under the supervision of Thomas Scanlon. Her dissertation was Persistence and Regularity in Unstable Model Theory. [5]

Research

In her dissertation and postdoctoral research, Malliaris studied unstable model theory and its connection, via characteristic sequences, to graph theoretic concepts such as the Szemerédi regularity lemma. [6]

She is also known for two joint papers with Saharon Shelah connecting topology, set theory, and model theory. [MS13] [MS16] In this work, Malliaris and Shelah used Keisler's order, a construction from model theory, to prove the equality between two cardinal characteristics of the continuum, 𝖕 and 𝖙, which are greater than the smallest infinite cardinal and less than or equal to the cardinality of the continuum. This resolved a problem in set theory that had been open for fifty years. Their work also solved another problem that had been open almost as long, by characterizing the maximal theories in Keisler's order. [7] [8] [9]

Awards and honors

Malliaris won a Kurt Gödel Research Prize in 2010 for her work in unstable model theory. [10]

In 2017, she and Saharon Shelah shared the Hausdorff Medal of the European Set Theory Society for their joint papers. [8]

She was an invited speaker at the 2018 International Congress of Mathematicians. [11]

Selected publications

Related Research Articles

In mathematics, specifically set theory, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. It states that

there is no set whose cardinality is strictly between that of the integers and the real numbers,

Paul Joseph Cohen was an American mathematician. He is best known for his proofs that the continuum hypothesis and the axiom of choice are independent from Zermelo–Fraenkel set theory, for which he was awarded a Fields Medal.

<span class="mw-page-title-main">Saharon Shelah</span> Israeli mathematician

Saharon Shelah is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.

In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large". The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more".

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as V = L. The axiom, first investigated by Kurt Gödel, is inconsistent with the proposition that zero sharp exists and stronger large cardinal axioms. Generalizations of this axiom are explored in inner model theory.

In mathematical logic, a theory is categorical if it has exactly one model. Such a theory can be viewed as defining its model, uniquely characterizing the model's structure.

<span class="mw-page-title-main">W. Hugh Woodin</span> American mathematician

William Hugh Woodin is an American mathematician and set theorist at Harvard University. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinals, the Woodin cardinals, bears his name. In 2023, he was elected to the National Academy of Sciences.

<span class="mw-page-title-main">Matthew Foreman</span> American mathematician

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

<span class="mw-page-title-main">Association for Symbolic Logic</span> International specialist organization

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.

In model theory, a branch of mathematical logic, the spectrum of a theory is given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, κ) for the number of models of T (up to isomorphism) of cardinality κ. The spectrum problem is to describe the possible behaviors of I(T, κ) as a function of κ. It has been almost completely solved for the case of a countable theory T.

Rami Grossberg is a full professor of mathematics at Carnegie Mellon University and works in model theory.

In the mathematical field of model theory, a theory is called stable if it satisfies certain combinatorial restrictions on its complexity. Stable theories are rooted in the proof of Morley's categoricity theorem and were extensively studied as part of Saharon Shelah's classification theory, which showed a dichotomy that either the models of a theory admit a nice classification or the models are too numerous to have any hope of a reasonable classification. A first step of this program was showing that if a theory is not stable then its models are too numerous to classify.

<span class="mw-page-title-main">Menachem Magidor</span> Israeli mathematician

Menachem Magidor is an Israeli mathematician who specializes in mathematical logic, in particular set theory. He served as president of the Hebrew University of Jerusalem, was president of the Association for Symbolic Logic from 1996 to 1998 and as president of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science (DLMPST/IUHPS) from 2016 to 2019. In 2016 he was elected an honorary foreign member of the American Academy of Arts and Sciences. In 2018 he received the Solomon Bublick Award.

A timeline of mathematical logic; see also history of logic.

In mathematics, Wetzel's problem concerns bounds on the cardinality of a set of analytic functions that, for each of their arguments, take on few distinct values. It is named after John Wetzel, a mathematician at the University of Illinois at Urbana–Champaign.

The Hausdorff medal is a mathematical prize awarded every two years by the European Set Theory Society. The award recognises the work considered to have had the most impact within set theory among all articles published in the previous five years. The award is named after the German mathematician Felix Hausdorff (1868–1942).

The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990.

References

  1. ↑ Faculty, University of Chicago Mathematics Department, accessed 2021-02-09.
  2. ↑ Dedication in A. G. Malliaris's book Economic Uncertainty, Instabilities and Asset Bubbles (2005).
  3. ↑ Writer profile, Harvard Crimson , accessed 2017-08-01.
  4. 1 2 Fowler, Geoffrey A. (March 1, 2000), "Why Not.com", John Harvard's Journal, Harvard Magazine
  5. ↑ Maryanthe Malliaris at the Mathematics Genealogy Project
  6. ↑ Award Abstract #1001666: Unstable Model Theory, National Science Foundation, April 30, 2010
  7. ↑ Hartnett, Kevin (September 12, 2017), "Mathematicians Measure Infinities, Find They're Equal", Quanta Magazine
  8. 1 2 Third Hausdorff Medal 2017, European Set Theory Society, July 5, 2017, retrieved 2017-08-01
  9. ↑ Moore, Justin Tatch (2013), "Model theory and the cardinal numbers 𝔭 and 𝔱", Proceedings of the National Academy of Sciences of the United States of America, 110 (33): 13238–13239, doi: 10.1073/pnas.1310920110 , MR   3105596, PMC   3746849 , PMID   23893298
  10. ↑ Final results of the Kurt Gödel Research Prize Fellowship 2010, Kurt Gödel Society, accessed 2017-08-01.
  11. ↑ 2018 ICM Invited Section Lectures Archived 2018-12-08 at the Wayback Machine , accessed 2017-09-20.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.