Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.
Couvre le produit interne de Petersson et les opérateurs de Hecke dans la théorie des formes modulaires, en explorant leurs définitions et leurs propriétés.
Explore la théorie des réseaux, leurs propriétés et leurs applications dans différents contextes mathématiques, en mettant l'accent sur les principes locaux-globaux.