13:30
The universal triangle-free graph has finite big Ramsey degrees
Abstract
A main part of the proof uses forcing to establish a Ramsey theorem on a new type of tree, though the result holds in ZFC. The space of such trees almost forms a topological Ramsey space.