James Cummings is a math professor at Carnegie Mellon University.
Ph.D.: Cambridge University

Personal website


Recent and upcoming talks by James Cummings

James Cummings: Forcing Pi_2 statements II

Mathematical logic seminar – September 22, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 7201 Speaker:         James Cummings Department of Mathematical Sciences CMU Title:     Forcing Pi_2 statements II Abstract: We often find ourselves needing to force assertions of the general form “for every x there exists y….” where typically x and y are subsets of some regular cardinal κ We will consider three general cases (of increasing difficulty) κ is ω1 κ is the successor of an uncountable regular cardinal κ is the successor of a singular cardinal continue reading…

James Cummings: Forcing ∀ ∃ statements

The logic seminar resumes next week. This term we are meeting in Wean Hall 7201 on Tuesdays at 12:30. Mathematical logic seminar – September 15, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 7201 Speaker:         James Cummings Department of Mathematical Sciences CMU Title:     Forcing ∀ ∃ statements Abstract: We often find ourselves needing to force assertions of the general form “for every x there exists y….” where typically x and y are subsets of some regular cardinal κ We will consider three general cases (of increasing difficulty) κ is ω1 κ is the successor of an uncountable regular cardinal κ is the successor of a singular cardinal continue reading…

Set theory and model theory, Tehran, October 12-16, 2015

The purpose of the conference is to bring together researchers and individuals interested in all areas of set theory and model theory, to discuss the latest developments and findings in their areas, take stock of what remains to be done and explore different visions for setting the direction for future work. continue reading…

cmu math logic seminar tues april 7

James Cummings will continue to talk about ZFC constructions of objects of size omega_one. The main result will be the theorem of Todorcevic on colouring pairs of countable ordinals continue reading…

BLAST Conference at UNT June 8–12, 2015

BLAST2015@UNT Conference – ANNOUNCEMENT 1. http://math.unt.edu/BLAST2015@UNT DATE: June 8 – 12, 2015 WHERE: University of North Texas in Denton, TX BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. continue reading…

5th European Set Theory Conference, August 24 – 28, 2015

The 5th European Set Theory Conference (5ESTC) is the fifth meeting in a series of biannual meetings coordinated by the European Set Theory Society. Earlier meetings were held in Bedlewo (1ESTC, July 2007 and 2ESTC, July 2009), Edinburgh (3ESTC, July 2011) and Mon St. continue reading…

James Cummings: Ramsey theory and topology

CMU math logic seminar 12:30 Tuesday 2 September Seminar will meet at the new time (12:30) in the new room (Wean Hall 8220) Speaker : James Cummings  (CMU) Title: “Ramsey theory and topology” The simplest form of the infinite Ramsey theorem states that any colouring of pairs of integers in two colours has an infinite monochromatic set. continue reading…

James Cummings: The tree property and some variations (Part II)

Speaker : James Cummings Title: The tree property and some variations (Part II) Abstract: The tree property is a property of large cardinal type which can consistently hold of small cardinals such as omega_2. continue reading…

James Cummings: The tree property and some variations

CMU math logic seminar Tuesday Mar 18 Speaker : James Cummings Title:  The tree property and some variations Abstract: The tree property is a property of large cardinal type which can consistently hold of small cardinals such as omega_2. continue reading…

James Cummings: Games, trees, colourings and forcing

Usual time (12:00-1:30 Tuesday) and place (Wean Hall 7201) Speaker: James Cummings Title: Games, trees, colourings and forcing Abstract: I will discuss some connections between games, trees, Ramsey-type theorems and forcing. continue reading…