Natasha Dobrinen
Natasha Dobrinen

University of Denver
Department of Mathematics
C.M. Knudson Hall 302
Working Office: Physics Building Room 218
Denver, CO 80208
email: Natasha.Dobrinen at du.edu



I am a set theorist working on interactions between logic, combinatorics, and topology. Before coming to DU, I held postdoc positions at the Kurt Gödel Research Institute for Mathematical Logic under the mentorship of O. Univ. Professor Sy-David Friedman and The Pennsylvania State University under the mentorship of Professor Stephen G. Simpson. I earned a PhD at the University of Minnesota under the supervision of Professor Karel Prikry. While earning my bachelors degree in math at UC Berkeley, I completed an Honors Thesis under the direction of Professor Richard E. Borcherds. Current research focuses include Ramsey theory of infinite structures, the structures of compact spaces, and applications of set-theoretic methods in their analysis.

In September, I had the honor of being on a National Academy of Sciences, Engineering, and Medicine webinar series with Julia Knight called Mathematical Frontiers on Logic and Foundations.

An article on being a mathematician



Association for Symbolic Logic.

As of January 1, 2018, I am Chair of the ASL Committee on Logic in North America and a member of the ASL Council. Past service includes a 3-year term on the Committee on Logic in North America, and a two-year term on the ASL Web Advisory Committee.


Annals of Pure and Applied Logic.

As of January 2020, I am an editor for the APAL, handling papers in set theory and related areas.


Advising and Postdoctoral Mentoring.

I was PhD advisor to Timothy Trujillo who earned his PhD in Spring 2014, with thesis: Topological Ramsey spaces, associated ultrafilters, and their applications to the Tukey theory of ultrafilters and Dedekind cuts of nonstandard arithmetic. Dissertation_Trujillo_2014 Currently I am co-advising Sonia Navarro Flores (with Michael Hrusak) on her PhD thesis at UNAM.

From Fall 2013 - Spring 2015 was mentor to postdoctoral scholar Jose Mijares. In 2015 I co-advised (with David Meza-Alcantara) Sonia Navarro Flores on her masters thesis at UNAM Morelia, Mexico. From Fall 2015 - Spring 2018, I mentored DU postdoctoral scholar Daniel Hathaway. From November 2018 - Novemmber 2019 I was research mentor to visiting scholar Dr. Kaiyun Wang from the College of Mathematics and Information Science, Shaanxi Normal University.


Invited Talks, Workshops, Tutorials, and Panels. For slides from 2015-2018, see Invited Talks Page.

In the face of social distancing for Covid-19, Wesley Calvert is organizing an international weekly Online Logic Seminar. All are welcome to "attend". It meets on Thursdays at 1pm Central Time (USA).

UltraMath 2020, Pisa, Italy, May 31 - June 6, 2020. Cancelled due to Covid-19.

Online Logic Seminar. April 9, 2020. "Ramsey properties on infinite structures".

Oberwolfach Workshop on Set Theory, Oberwolfach, Germany, April 5-11, 2020. Cancelled due to Covid-19.

ASL North American Meeting, UC Irvine, March 25-28, 2020, Special Session on Forcing and Ramsey Theory. Cancelled due to Covid-19, but they held a Virtual Meeting instead. Ramsey Theory on Fraisse structures

Mathematics Department Colloquium, Boise State University, March 10, 2020. "Ramsey Theory for Infinite Structures and Set Theoretic Methods."

UCLA Logic Colloquium. February 7, 2020. Talk on Strong coding trees and Ramsey theory on infinite structures.

I gave invited talks at the JMM in the two AMS-ASL Special Sessions: "Choiceless Set Theory and Related Areas", and "Logic Facing Outward". Denver, January 15-16, 2020. Slides: Barren extensions slides and Logic and Combinatorics

Set Theory Seminar at The Hebrew University. Chalk talks on December 11 and 18, 2019 on my work on big Ramsey degrees of Henson graphs.

Set Theory Seminar, Bar-Ilan University, December 9, 2019. Chalk talk on "Strong coding trees and applications to Ramsey theory on infinite graphs."

Carlos di Prisco Birthday Meeting, Bogota, Colombia, November 28-29, 2019. Barren extensions

Fall Southeast AMS Sectional Meeting, Special Session on Cech-Stone compactification of semigroups: Algebra, Topology, Dynamics, and Combinatorics, University of Florida at Gainesville, November 2-3, 2019. I gave a chalk talk on "Ramsey ultrafilter and friends", comparing results about Ramsey ultrafilters in regard to Rudin-Keisler, Tukey, barren extensions, etc. to similar results for ultrafilters with finite Ramsey degrees.

National Academies of Sciences, Engineering, and Medicine. "Mathematical Frontiers" Webinar Series. With Julia Knight, we were panelists on the topic of Logic and Foundations, September 10, 2019.

15th International Luminy Workshop in Set Theory, Luminy, France, September 23-27, 2019. Borel sets of Rado graphs are Ramsey

Casa Matematica Oaxaca, Workshop on Reverse Mathematics of Combinatorial Principles, September 15-20, 2019. Chalk talk on "Open problems in the reverse mathematics of Ramsey theory on trees and graphs."

AMS Fall Central Sectional Meeting, Special Session on "Topology and Descriptive Set Theory," Madison, WI, September 14-15, 2019. Borel partitions of a space of Rado graphs are Ramsey

Universidad de los Andes, research visit to Carlos DiPrisco. I gave a chalk talk in the set theory seminar titled, "Tukey theory of ultrafilters."

Casa Matematica Oaxaca, Set theory of the reals, August 4-9, 2019. (unfortunately unable to attend, due to a prior commitment)

Midsummer Combinatorial Workshop XXIV, July 29 - August 2, 2019, Prague, Czech Republic. Ramsey theory on infinite graphs

Logic Fest in the Windy City, May 30 - June 2, 2019. Tutorial: Ramsey theory on trees and applications to infinite graphs

50 Years of Set Theory in Toronto, May 13-17, 2019. Strong coding trees and applications to Ramsey theory on infinite graphs

Spring Topology and Dynamical Systems Conference, March 14-16, 2019. Special Session on Set Theoretic Topology, "Borel colorings of the Rado graph". (unable to attend because of flights cancelled due to a blizzard in Denver)

Notre Dame Logic Seminar, March 5, 2019.

Miami University, February 25 - March 1, 2019. Colloquium talk.

University of Florida, February 18-23, 2019. A talk in the Colloquium, and a talk in the Logic Seminar.

Arctic Set Theory Workshop 4, Kilpisjaervi, Finland, January 21-26, 2019. Ramsey theory of the Henson graphs.

ASL Winter Meeting, at the Joint Mathematics Meetings, Baltimore, January 18-19, 2019, (plenary). Ramsey theory of the Henson graphs.

University of Oxford, Analytic Topology in Mathematics and Computer Science Seminar, January 16, 2019. Ramsey theory and infinite graphs.

University of Vienna, at the invitation of Vera Fischer, January 7-12, 2019. I gave a Mini-course on Infinitary Ramsey Theory (slides and video available here), and a lecture on the Ramsey theory of Henson graphs.


Other conferences I participated in during 2019.

British Combinatorial Conference, July 29 - August 2, 2019, Birmingham, UK. Contributed talk on "Ramsey theory on infinite graphs". This will be an overview of several papers. slides

European Set Theory Conference, July 1-5, 2019, Vienna, Austria. Contributed talk on "Barren extensions." This is joint work with Dan Hathaway extending results of Henle, Mathias, and Woodin to a large collection of sigma-closed forcings adding new ultrafilters with weak partition properties. slides

ASL Annual North American Meeting, May 20-23, 2019, CUNY, New York. Contributed talk on "Borel colorings of a space of Rado graphs". This work extends the Galvin-Prikry theorem for Borel partitions of the Baire space to Borel partitions of a topological space where each point represents a Rado graph. slides


Research. I work in Set Theory, Ramsey Theory, Topology, and related areas. See my Research Page for more information.

In January 2019, I finished writing a proof that the universal homogeneous k-clique-free graphs have finite big Ramsey degrees. This paper was substantially revised and submitted and is available on the arxiv. The first paper on the Ramsey theory universal homogeneneous triangel-free graph will appear soon the Journal of Mathematical Logic. My approach is opening up a large class of homogeneous structures with forbidden configurations to investigations of their canonical partitions, and connections with topological dynamics via this work of Andy Zucker. It also has provided means for extending the Galvin-Prikry theorem on the Baire space to a topological space of copies of the Rado graph, opening up the possibility of more extensions of Ramsey theory where the objects being colored are infinite structures, and the colorings are definable in some manner.

Papers since 2017 published or accepted.

(with Daniel Hathaway) "Classes of barren extensions." Journal of Symbolic Logic. 30pp (to appear).

"Ramsey Theory on infinite structures and the method of strong coding trees." 24pp. Contemporary Logic and Computing, College Publications, London (2020).

(with Daniel Hathaway and Karel Prikry) "Perfect tree forcings for singular cardinals." Annals of Pure and Applied Logic 171 (2020), no. 9, 25pp.

"The Ramsey theory of the universal homogeneous triangle-free graph." Journal of Mathematical Logic (to appear).

(with Daniel Hathaway) "Forcing and the Halpern-Lauchli Theorem." Journal of Symbolic Logic, 85 (2020), no. 1, 87--102.

"Continuous and other finitely generated cofinal maps on ultrafilters." Fundamenta Mathematicae, 249 (2020), no. 2, 111--147.

"Topological Ramsey spaces dense in forcings." Structure and Randomness in Computability and Set Theory, World Scientific. Editors: Douglas Cenzer, Christopher Porter, and Jindrich Zapletal. (2020).

(with Alvaro Arias, Gabriel Giron-Garnica, and Jose G. Mijares) "Banach spaces from barriers in high dimensional Ellentuck spaces." Journal of Logic and Analysis, 10 (2018), no. 5, 42pp.

(with Daniel Hathaway) "The Halpern-Lauchli Theorem at a measurable cardinal." Journal of Symbolic Logic, 82 (2017), no. 4, 1560--1575.

"Forcing in Ramsey theory." RIMS Kokyuroku 2042, (2017) 17--33.

(with Jose G. Mijares and Timothy Trujillo) "Topological Ramsey spaces from Fraisse classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points." Archive for Mathematical Logic, special issue in honor of James E. Baumgartner. 55 (2017), no. 7-8, 733--782.


Grants and Awards.

I am grateful to have received a third National Science Foundation Grant DMS-1901753, this one on "Logic, Ramsey Theory, and Relational Structures," which started September 1, 2019. $158,476.

In 2016, I was awarded the Excellence in Research Award, University of Denver, Division of Natural Sciences and Mathematics, for the academic year 2015-2016.

See Grants and Awards for the listing of these and previous grants and awards.

Teaching.

I am now on sabbatical until the end of March 2021.

In Fall 2019, I am teaching Calculus (MATH 1951). In Winter 2020, I taught Mathematical Logic (MATH 3060) and Perspectives in Art (MATH 1150). In Spring 2020, I am teaching Real Analysis I (MATH 3161), online of course. In Fall 2018 I taught Calculus 1 (MATH 1951) and Set Theory (MATH 3050). In Winter 2019 I focused solely on research. In Spring 2019 I taught a graduate course in Set Theory and Infinite Combinatorics (MATH4700). This was a new course, focusing on Ramsey Theory and forcing, drawing from Todorcevic's book "Introduction to Ramsey Spaces," Kunen's "Set Theory," and various research articles. The intent is to develop background in this area and introduce students to current research topics. I also taught Perspectives in Art (MATH1150).


Women in Mathematics.

The Mathematics Department at DU now has an AWM Student Chapter. The Faculty Sponsor is Professor Mei Yin and I am the Faculty Co-Sponsor. I also run quarterly mentoring meetings for the women graduate students in math.


Conference Organizing.

Lynn Yengulalp and I were the Program Committe for the Special Session in Set-theoretic Topology at the 54th Spring Topology and Dynamical Systems Conference, Murray State University, March 18-21, 2020. Cancelled due to Covid-19.

I chaired the Program Committee for the ASL Winter Meeting at the Joint Mathematics Meeting, Denver, January 15-18, 2020.

I am on the Program Committee for the BEST conference series, 2018-2023.

Nick Galatos and I (Chair) organized BLAST 2018. This 10-year anniversary conference was held at the University of Denver, August 6-10, 2018.

Dan Hathaway and I organized a special session on Set Theory of the Reals (including Ramsey Theory) at the AMS Western Sectional Meeting at the Unviersity of Denver in October 2016.

The DU Sesquicentennial Ramsey Theory Conference 2014 was held at the University of Denver, May 24 - 28, 2014. The meeting was organized by Jose Mijares and myself. We thank the National Science Foundation and The DU Provost Sesquicentennial Fund for funding to support many participants.

DU is the birthplace of the BLAST Conference Series, which started in 2008 when Professor Nikolaos Galatos and myself co-founded and co-chaired BLAST 08. BLAST is an interdisciplinary conference focused on Boolean algebras, Logic, Lattices, algebraic Logic, universal Algebra, Set theory, and Topology (Set-theoretic, point free, and general). These are logic-related areas of interest to researchers at Chapman University; New Mexico State University, Las Cruces; University of Colorado, Boulder; University of Denver; University of Kansas, Lawrence; University of Missouri, Kansas City; University of Nebraska, Omaha; and University of North Texas. BLAST conferences are good for graduate students, early career mathematicians, and anyone interested in expanding their research to include neighboring areas. We are grateful for National Science Foundation funding for the BLAST Conference Series.

Front Range Logic Saturdays (formerly known as the Maximally Informal Gathering or MIG) is a consortium of logicians from the Boulder, Denver, Golden and Fort Collins areas. We gather on selected Saturdays to share research talks, ideas, and lunch. MIG was started in 2009 by Bart Kastermans and myself. FRLS was run by Dan Hathaway and Timothy Trujillo from 2015-2018.

I have also organized various special sessions and served on program committees for conferences of the ASL and the AMS. These are listed in my CV.

From 2008 until May 2014, I was the coordinator and supervisor for the Graduate Colloquium which meets on Fridays at 2pm. See Graduate Colloquium for a list of past and present speakers.


Curriculum Vitae (11/20/19)
Present and Past Employment.
Some interesting Links.
last updated July 2, 2020.