# 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