Alexander Wires, Department of Pure Mathematics, University of Waterloo
“Dichotomy for Finite Tournaments III”
We have used cyclic terms and the characterization of Taylor algebras on a two-element to show certain one loop and two loop tournaments of small order are not compatible with a Taylor operation. The next step is to use pp-definable subgraphs to show exactly one loop can be present in any strong Taylor tournament.