Logic seminar
However, the limits constructed in the theory of flag algebras are of an algebraic/syntactic nature, due to the minimalist nature of the theory (as opposed to the more semantic/geometric nature of the previous ad hoc limits of the literature). In this talk, I will present the semantic/geometric counterpart to flag algebras: the theory of theons. I will also give a couple of examples of proofs both within continuous combinatorics and of applications that use its tools.
This talk is based on joint work with Alexander A. Razborov.
Pavel Pudlak, Neil Thapen, Jan Krajíček
organizers