Marcia Groszek

Template:Short description Marcia Jean Groszek is an American mathematician whose research concerns mathematical logic, set theory, forcing, and recursion theory. She is a professor of mathematics at Dartmouth College.Template:R

Education

As a high school student, Groszek felt isolated for her interest in mathematics, but she found a sense of community through her participation in the Hampshire College Summer Mathematics Program,Template:R and she went on to earn her bachelor's degree at Hampshire College.Template:R She completed her Ph.D. in 1981 at Harvard University. Her dissertation, Iterated Perfect Set Forcing and Degrees of Constructibility, was supervised by Akihiro Kanamori.Template:R

Research

With Theodore Slaman, Groszek showed that (if they exist at all) non-constructible real numbers must be widespread, in the sense that every perfect set contains one of them, and they asked analogous questions of the non-computable real numbers.Template:RTemplate:Ran With Slaman, she has also shown that the existence of a maximally independent set of Turing degrees, of cardinality less than the cardinality of the continuum, is independent of ZFC.Template:Ran

In the theory of ordinal definable sets, an unordered pair of sets is said to be a Groszek–Laver pair if the pair is ordinal definable but neither of its two elements is; this concept is named for Groszek and Richard Laver, who observed the existence of such pairs in certain models of set theory.Template:RTemplate:Ran

Service and outreach

Groszek was program chair of the 2014 North American annual meeting of the Association for Symbolic Logic.Template:R Her interest in logic extends to education as well as to research; she has participated in the Association for Symbolic Logic Committee on Logic Education,Template:R and in 2011 she was co-organizer of an Association for Symbolic Logic special session on "Logic in the Undergraduate Mathematics Curriculum".Template:R With mathematics colleague Dorothy Wallace and performance artist Josh Kornbluth, Groszek has also helped write and produce a sequence of educational videos about mathematics.Template:R