Jean A. Larson

Larson was raised in the San Francisco Bay Area, and graduated from the University of California, Berkeley in 1968 with a bachelor's degree in mathematics and a minor in English. As an undergraduate, she had planned to go into teaching, but a mentor at Berkeley, logician John W. Addison Jr., recognized her talent for mathematics and encouraged her to go on to graduate study.[2] She earned her Ph.D. under the supervision of James Earl Baumgartner at Dartmouth College in 1972,[3] becoming the first woman to obtain a mathematics PhD there.[2]

Larson became an E. R. Hedrick Assistant Professor at the University of California, Los Angeles from 1972 to 1974. She has been affiliated with the University of Florida since 1974, where she was promoted to full professor in 1987 and served as Associate Chair for Graduate Studies from 1993 to 1996.[4] In 2002 Larson became chair of the faculty senate at the University of Florida. She credits her Quaker religious practice for making her a good listener and a "consensus builder", two qualities she sees as important in campus leadership.[2]

Much of Larson's research is in infinitary combinatorics, studying versions of Ramsey's theorem for infinite sets.[2][4] Her doctoral dissertation, On Some Arrow Relations, was in this subject.[3] She has been called a "prominent figure in the field of partition relations", particularly for her "expertise in relations for countable ordinals".[5] Five of her publications are with Paul Erdős, who became her most frequent collaborator.[6] Erdős, another prominent combinatorialist, visited Larson and others at the University of Florida for two weeks per year every year from 1973 to 1996.[7]

In the theory of linear spaces, the Drake–Larson linear spaces are named after Larson and her co-author and University of Florida colleague David A. Drake. These are linear spaces (finite systems of points and lines, with at least two points on every line, a line through every two points, and not all points on a single line) such that none of the lines have exactly two, three, or six points. When such a space exists, it can be used to construct certain kinds of Latin squares. In a 1983 paper, Drake and Larson determined the possible numbers of points in these spaces, with one exception, the spaces with exactly thirty points. This case was an open problem for many years,[8] until it was resolved in 2010 by Betten and Betten.[9]

• Her 1973 proof of a partition theorem for the ordinal ${\displaystyle \omega ^{\omega }}$, formalised in Isabelle/HOL