Links:Stevo Todorcevic, "Coherent sequences", chapter to appear in the Handbook of Set Theory (PDF)Postworkshop materials:Lecture notes from this workshop by Roberto Pichardo Mendoza (PDF)

I intend to cover first of all some basics about walks and associated statistics such as upper and lower traces, the distance functions associated to the number of steps and maximal weights. As we go on, time permitting, I will mention some applications. Among applications, I will mention the use of the subadditive distance function ρ in constructing Banach spaces with strong conditional structure but most of the applications will be settheoretical in character to fit the composition of the audience. For example, I will explain why every one of the standard distance function ρ_{i} leads us to a canonical uncountable linear ordering C(ρ_{i}). The canonical nature of C(ρ_{i}) is seen on one hand from the facts that its Cartesian square can be decomposed into countably many chains and from the other that under some mild assumption like MA_{ω1}, C(ρ_{i}) is a minimal uncountable linear ordering in the sense that it embeds into all of its uncountable subsets. Thus, C(ρ_{i}) must appear on any basis for uncountable linear ordering as long as one tries to be compatible with MA_{ω1}. Another main theme of the series of lecture will be the so called squarebracket operation that gives us a way of reducing quantification over unbounded subsets of a regular uncountable cardinal θ to quantifications over closed unbounded subsets of θ. This reduction of quantifiers is quite useful in constructing various mathematical structures such as bilinear forms on vector spaces (i.e., so called symplectic spaces), groups, projective geometries, Banach spaces with few operators, topological spaces with some extremal properties, etc. On a settheoretical side I will try to explain the role of imposing coherence condition on a given Csequence on which we base our walks. This will give us some interesting results about Jensen's square sequences and their natural generalizations. We shall also use these methods to shed light on other wellknown settheoretic themes such as Chang's conjecture, reflection of stationary sets, etc. I will try to present this assuming little or no prerequisites but of course any basic familiarity with the notions such ordinal, cardinal, stationary set, could prove useful when trying to follow my series of lectures. 