Logic Seminar
Monday, November 6, 2023 - 2:55pm
Malott 205
We continue the study of higher-dimensional coherence. One direction is forcing to add and trivialize nontrivial coherent families; this leads to a view of $\omega_n$ as “sphere-like,” and can be used to separate square principles. Another is higher walks and statistics. Classical walk statistics yield canonical nontrivial coherent families, and we shall see a higher analogue which yields coherent families. Future work, including whether these are trivial, will be mentioned.