Recent and upcoming talks by Jing Zhang

Jing Zhang: A polarized partition theorem for large saturated linear orders

Mathematical logic seminar – Mar 28 2017 Time:     3:30pm – 4:30 pm Room:     Wean Hall 8220 Speaker:         Jing Zhang Department of Mathematical Sciences CMU Title:     A polarized partition theorem for large saturated linear orders Abstract:     Laver proved the following polarized partition theorem for rational numbers: for any natural number d, any finite coloring f of Q^d, there exist subsets of Q, X_i for i < d, each of which has the same order type as Q such that the product X_1 x … x X_{d-1} gets at most d! continue reading…

Jing Zhang: The forcing proof of the Halpern-Läuchli theorem

Mathematical logic seminar – February 23 2016 Time:     12:30 – 13:30 Room:     Wean Hall 8220 Speaker:         Jing Zhang Department of Mathematical Sciences CMU Title:     The forcing proof of the Halpern-Läuchli theorem Abstract: We will discuss Harrington’s conceptually simple proof of the Halpern-Läuchli theorem using the machinery of forcing. continue reading…